[coreboot-gerrit] Patch set updated for coreboot: 5123f94 google/storm: Minor board ID changes