[coreboot-gerrit] New patch to review for coreboot: 7693e7d boardstatus: Take default board name from MAINBOARD_PART_NUMBER.