[coreboot] Build breakage