[coreboot-gerrit] Patch set updated for coreboot: 4d7616b google/stout: Fix build without ChromeOS