diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index 1facfb9420..8a87778d52 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -193,6 +193,9 @@ config IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS
 	bool
 	default n
 
+config HPET_ADDRESS_OVERRIDE
+	def_bool n
+
 config HPET_ADDRESS
 	hex
 	default 0xfed00000 if !HPET_ADDRESS_OVERRIDE