[coreboot-gerrit] Patch merged into coreboot/master: 8e0071b board_status.sh: Read coreboot boot log from a serial device