copy_pir(p);
copy_mptable(p);
copy_acpi_rsdp(p);
+ copy_smbios(p);
}
}
scan_tables(m->start, m->size);
}
- // XXX - just create dummy smbios table for now - should detect if
- // smbios/dmi table is found from coreboot and use that instead.
- smbios_init();
+ // XXX - create a dummy smbios table for now.
+ if (!SMBiosAddr)
+ smbios_init();
}