How to develop EFI applications with Linux? How to boot Linux from EFI IA32/x64? What is the Linux kernel support for EFI on IA-32?