haswell: 24MHz monotonic time implementation

Haswell ULT devices have a 24MHz package-level counter. Use
this counter to provide a timer_monotonic_get() implementation.

Change-Id: Ic79843fcbfbbb6462ee5ebd12b39502307750dbb
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-on: http://review.coreboot.org/3153
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
diff --git a/src/cpu/intel/haswell/Kconfig b/src/cpu/intel/haswell/Kconfig
index 5f27d4c..13861f9 100644
--- a/src/cpu/intel/haswell/Kconfig
+++ b/src/cpu/intel/haswell/Kconfig
@@ -54,4 +54,11 @@
 	  the system will reset otherwise the ramstage will be reloaded from
 	  cbfs.
 
+config MONOTONIC_TIMER_MSR
+	def_bool n
+	depends on INTEL_LYNXPOINT_LP
+	select HAVE_MONOTONIC_TIMER
+	help
+	 Provide a monotonic timer using the 24MHz MSR counter.
+
 endif