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