x86, efi: Refactor efi_init() a bit