[Concept] [PATCH 17/19] efi: Move x86 over to use the common efi_main() function