[coreboot-gerrit] Patch merged into coreboot/master: c5e947e rename status-related stuff to board_status