diff --git a/src/mainboard/lowrisc/nexys4ddr/Kconfig b/src/mainboard/lowrisc/nexys4ddr/Kconfig
index f0a3637d1c..5a6bfb2503 100644
--- a/src/mainboard/lowrisc/nexys4ddr/Kconfig
+++ b/src/mainboard/lowrisc/nexys4ddr/Kconfig
@@ -21,7 +21,6 @@ config BOARD_SPECIFIC_OPTIONS # dummy
 	select DRIVERS_UART_8250MEM
 	select BOOT_DEVICE_NOT_SPI_FLASH
 	select UART_OVERRIDE_REFCLK
-	select UART_OVERRIDE_INPUT_CLOCK_DIVIDER
 
 config MAINBOARD_DIR
 	string
diff --git a/src/mainboard/lowrisc/nexys4ddr/uart.c b/src/mainboard/lowrisc/nexys4ddr/uart.c
index e3c233f80b..d19ce520d8 100644
--- a/src/mainboard/lowrisc/nexys4ddr/uart.c
+++ b/src/mainboard/lowrisc/nexys4ddr/uart.c
@@ -24,17 +24,8 @@ uintptr_t uart_platform_base(int idx)
 	return (uintptr_t) 0x42000000;
 }
 
-/* these are currently not quite right but they are here for reference
- * and will be fixed when lowrisc gives us a standard clock
- * and set of values. */
-// divisor = clk_freq / (16 * Baud)
-unsigned int uart_input_clock_divider(void)
-{
-	return (25 * 1000 * 1000u / (16u * 115200u)) % 0x100;
-}
-
-// System clock 25 MHz, 115200 baud rate
+/* The clock which the UART is based on */
 unsigned int uart_platform_refclk(void)
 {
-	return (25 * 1000 * 1000u / (16u * 115200u)) >> 8;
+	return 25 * MHz;
 }