[coreboot-gerrit] Patch merged into coreboot/master: mb/lowrisc/nexys4ddr: Actually fix the UART clock setup