Very basic EFI base for a Haiku boot loader.

Push EFI code and hide it in efi-wrapper.h.
Builds and runs on 64-bit systems with gnu-efi.