Use find_pmtimer() after copying coreboot ACPI tables

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>

diff --git a/src/Kconfig b/src/Kconfig
index cdd4f314a183c19237d4460483a61da30841b534..4ddf9da84c430631289570ac500a633d077dd24c 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -253,7 +253,6 @@ menu "Hardware support"
         help
             Initialize the Memory Type Range Registers (on emulators).
     config PMTIMER
-        depends on !COREBOOT
         bool "Use ACPI timer"
         default y
         help

diff --git a/src/coreboot.c b/src/coreboot.c
index 5d5e03b0848a03fea1bc964c1cd698476c27553f..39699077752d7b7d8bd948ffcdd8491b99dc1c52 100644 (file)
--- a/src/coreboot.c
+++ b/src/coreboot.c
@@ -12,7 +12,7 @@
 #include "boot.h" // boot_add_cbfs
 #include "disk.h" // MAXDESCSIZE
 #include "config.h" // CONFIG_*
-
+#include "acpi.h" // find_pmtimer
 
 /****************************************************************
  * Memory map
@@ -219,6 +219,8 @@ coreboot_biostable_setup(void)
         if (m->type == CB_MEM_TABLE)
             scan_tables(m->start, m->size);
     }
+
+    find_pmtimer();
 }