diff --git a/drivers/timer/Kconfig.hpet b/drivers/timer/Kconfig.hpet
index 8850794f043..c83af2b4615 100644
--- a/drivers/timer/Kconfig.hpet
+++ b/drivers/timer/Kconfig.hpet
@@ -12,7 +12,6 @@ config HPET_TIMER
 	imply TIMER_READS_ITS_FREQUENCY_AT_RUNTIME
 	select TICKLESS_CAPABLE
 	select TIMER_HAS_64BIT_CYCLE_COUNTER
-	select SYSTEM_CLOCK_LOCK_FREE_COUNT
 	help
 	  This option selects High Precision Event Timer (HPET) as a
 	  system timer.