[coreboot-gerrit] Patch set updated for coreboot: ad6f030 Build without ChromeOS