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