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