И ещё, как оно связано с EFI? Я в этой теме как таракан в квантовой физике. Что-то слышал, что EFI не BIOS, так может не надо никакой Coreboot пилить, а сразу CoreEFIboot?
Ну как бы после осиливания оригинального источника должно стать понятно что есть.
>coreboot (formerly known as LinuxBIOS) is a Free Software project aimed at replacing the proprietary BIOS (firmware) you can find in most of today's computers. It performs just a little bit of hardware initialization and then executes a so-called payload [http://www.coreboot.org/Payloads].