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