Rami Rosen wrote:
Well, the first line, "efi: EFI v2.31 by American
Megatrends",
is (almost for sure) from /arch/x86/platform/efi/efi.c (assuming this
is intel machine; you only replied that it is 64 bit machine, I assume
that it is intel).
I am not sure that this indeed says that the EFI is active.
does efi_enabled() says that efi is active ? not sure.
The "sure" way of determining if you have booted via EFI is to check for
the existence of the /sys/firmware/efi directory. If it doesn't exist
you booted via legacy BIOS.