CONFIG_EFI is not available for thedefaultarchitecture x86.
Result is shown for architecture i386

Boot from EFI support

modulename: efi.ko

configname: CONFIG_EFI

Linux Kernel Configuration
└─>Processor type and features
└─>Boot from EFI support
In linux kernel since version 2.6.12  
This enables the kernel to boot on EFI platforms using
system configuration information passed to it from the firmware.
This also enables the kernel to use any EFI runtime services that are
available (such as the EFI variable services).

This option is only useful on systems that have EFI firmware
and will result in a kernel image that is ~8k larger. In addition,
you must use the latest ELILO loader available at
<http://elilo.sourceforge.net> in order to take advantage of
kernel initialization using EFI information (neither GRUB nor LILO know
anything about EFI). However, even with this option, the resultant
kernel should continue to boot on existing non-EFI platforms.

depends
CONFIG_ACPI