[coreboot-gerrit] New patch to review for coreboot: mb/lowrisc/nexys4ddr: Actually fix the UART clock setup