diff --git a/src/Kconfig b/src/Kconfig
index c3cc6bf..a49643e 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -313,6 +313,11 @@
 	default n if UDELAY_IO
 	default y
 
+config HAVE_MONOTONIC_TIMER
+	def_bool n
+	help
+	 The board/chipset provides a monotonic timer.
+
 config HIGH_SCRATCH_MEMORY_SIZE
 	hex
 	default 0x0