[coreboot-gerrit] Patch set updated for coreboot: f9b38c1 Add google/veyron_jerry board