[coreboot-gerrit] New patch to review for coreboot: 6e66b64 Add option to disable ChromeOS