x86: Add support for U-Boot as an EFI application