Use the acpi code

217f81e0 · Silas Boyd-Wickizer · 8797a898 · 217f81e0
--- a/kernel/main.cc
+++ b/kernel/main.cc
@@ -18,6 +18,7 @@ void initconsole(void);
 void initpg(void);
 void initmp(void);
 void inittls(void);
+void initacpi(void);
 void initnmi(void);
 void inittrap(void);
 void initseg(void);
@@ -105,6 +106,7 @@ cmain(u64 mbmagic, u64 mbaddr)
  initcga();
  initmp();
  inittls();       // thread local storage
+  initacpi();

  initseg();
  initsperf();