K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-02-13T20:36:15.518953Z
K 7
svn:log
V 147
Add efi_handle_any to allow us to get a 'current' device when we lack a
driver for the boot device, e.g. when loading the loader over semihosting.

END