Верно, в исходный код не входит, поэтому либо надо взять готовый бинарный код (или купить) или изучить на сайте руководства по сборке.
http://www.coreboot.org/Payloads
- coreboot in itself is "only" minimal code for initializing a mainboard with peripherals. After the initialization, it jumps to a payload...
...Coreboot can use a Linux kernel as payload directly. That is, the kernel is included in the ROM chip where coreboot resides.
Alternatively, you can also boot a Linux kernel from your hard drive using either the FILO or GRUB2 payloads, of course.