[coreboot] Linux-ready Firmware Kit