General note on [U]EFI x86_64 support-------------------------------------The nomenclature EFI and UEFI are used interchangeably in this document.Although the tools below are _not_ needed for building the kernel,the needed bootloader support and associated tools for x86_64 platformswith EFI firmware and specifications are listed below.1. UEFI specification:  http://www.uefi.org2. Booting Linux kernel on UEFI x86_64 platform requires bootloader   support. Elilo with x86_64 support can be used.3. x86_64 platform with EFI/UEFI firmware.Mechanics:---------- Build the kernel with the following configuration.	CONFIG_FB_EFI=y	CONFIG_FRAMEBUFFER_CONSOLE=y- Create a VFAT partition on the disk- Copy the following to the VFAT partition:	elilo bootloader with x86_64 support, elilo configuration file,	kernel image built in first step and corresponding	initrd. Instructions on building elilo	and its dependencies	can be found in the elilo sourceforge project.- Boot to EFI shell and invoke elilo choosing the kernel image built  in first step.