efi_enter_kernel
ENTRY(efi_enter_kernel)
void __noreturn efi_enter_kernel(unsigned long entrypoint,
void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt,