[coreboot-gerrit] Change in coreboot[master]: mainboard/hatch/mainboard.c: Accommodate larger SKU id space