[coreboot] coreboot + Linux = ?