[coreboot-gerrit] New patch to review for coreboot: board_status: Add an option to set the SSH port