TODO
----

 * Get gnu-efi to support EFI 1.10.

 * Once done, build the tools and EFI drivers and reenable the EFI 1.10 code
   in rEFIt.

 * Wrap all EFI calls in the tools and drivers with uefi_call_wrapper(); the
   call wrapper is mandatory on x86_64.

 -- Julien BLACHE <jblache@debian.org>, Sun, 18 May 2008 16:48:24 +0200
