[coreboot-gerrit] New patch to review for coreboot: 4e382ee ipq8064: prepare UART driver for use in coreboot