[coreboot] missing files ?