original_kernel/arch/x86/platform/efi
..
Makefile
efi.c
efi_32.c
efi_64.c
efi_stub_32.S
efi_stub_64.S