console: Fix using CMOS for options

Just a tiny mistake, but it made the console driver assume that
CMOS data isn't available.

Change-Id: I4e6f53e9ed59024de7b09333f82f0ce3235ef8f6
Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/2323
Reviewed-by: Christian Gmeiner <christian.gmeiner@gmail.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Peter Stuge <peter@stuge.se>

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; }