[coreboot-gerrit] Patch set updated for coreboot: 01cd6d3 google/veyron_pinky: Don't auto select CHROMEOS