[coreboot-gerrit] Patch set updated for coreboot: af8c0d8 board_status.sh: Read coreboot boot log from a serial device