diff --git a/src/console/console.c b/src/console/console.c
index aec711b5f8..34a26ecb51 100644
--- a/src/console/console.c
+++ b/src/console/console.c
@@ -30,7 +30,7 @@
  * storage can be used. This will benefit machines without CMOS as well as those
  * without a battery-backed CMOS (e.g. some laptops).
  */
-#ifdef HAVE_CMOS_DEFAULT
+#if CONFIG_HAVE_CMOS_DEFAULT
 #include <pc80/mc146818rtc.h>
 #else
 static inline int get_option(void *dest, const char *name) { return -1; }