[coreboot-gerrit] Patch merged into coreboot/master: 98d9678 google/veyron_pinky: Don't auto select CHROMEOS