80c80,81
< mpConfigTable(p->intel_mp_table)
---
> mpConfigTable(p->intel_mp_table),
> rsdp(p->acpi_description_table_pointer)