[coreboot] Patch merged into coreboot/master: e1c24d5 Bifferboard: Fix MAINBOARD_PART_NUMBER.