[coreboot-gerrit] New patch to review for coreboot: b7142cb nyan: Use the new pinmux functions as part of UART setup.