[coreboot-gerrit] Patch set updated for coreboot: 9a872e7 ipq806x: clean up UART driver tx_byte function