[coreboot] build questions