[SeaBIOS] [PATCH v2 10/19] Use find_pmtimer() after copying coreboot ACPI tables

[David Woodhouse]

From: David Woodhouse

Signed-off-by: David Woodhouse 
---
 src/Kconfig    | 1 -
 src/coreboot.c | 4 +++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Kconfig b/src/Kconfig
index 0b112ed..43046c5 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -239,7 +239,6 @@ menu "Hardware support"
         help
             Initialize the Memory Type Range Registers (on emulators).
     config PMTIMER
-        depends on QEMU
         bool "Use ACPI timer"
         default y
         help
diff --git a/src/coreboot.c b/src/coreboot.c
index 5d013cf..7855703 100644
--- 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();
 }