[coreboot-gerrit] Patch set updated for coreboot: dcda16e Fix builds with disabled ChromeOS