[coreboot-gerrit] Patch set updated for coreboot: 3eb1f0d ipq8064: prepare UART driver for use in coreboot