[coreboot-gerrit] New patch to review for coreboot: 0808e3e Fix builds with disabled ChromeOS