Remove SMBIOS generation on coreboot hack.

Early versions of coreboot did not create an SMBIOS table (which Linux
needs in order to use the ACPI tables), so SeaBIOS had a hack to
generate an SMBIOS table.  However, recent versions of coreboot can
generate an SMBIOS table, so there is no longer a reason to support
this hack.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
diff --git a/src/Kconfig b/src/Kconfig
index 53fda9b..25b2b1b 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -303,14 +303,13 @@
 endmenu
 
 menu "BIOS Tables"
+    depends on !COREBOOT
     config PIRTABLE
-        depends on !COREBOOT
         bool "PIR table"
         default y
         help
             Support generation of a PIR table in 0xf000 segment.
     config MPTABLE
-        depends on !COREBOOT
         bool "MPTable"
         default y
         help
@@ -322,7 +321,6 @@
             Support generation of SM BIOS tables.  This is also
             sometimes called DMI.
     config ACPI
-        depends on !COREBOOT
         bool "ACPI"
         default y
         help
diff --git a/src/coreboot.c b/src/coreboot.c
index 9de99af..55590ce 100644
--- a/src/coreboot.c
+++ b/src/coreboot.c
@@ -218,10 +218,6 @@
         if (m->type == CB_MEM_TABLE)
             scan_tables(m->start, m->size);
     }
-
-    // XXX - create a dummy smbios table for now.
-    if (!SMBiosAddr)
-        smbios_init();
 }