[coreboot-gerrit] New patch to review for coreboot: 9bebb85 board_status: Correctly determine selected board in case of clones