FYI, the kernel emits "Using ACPI (MADT) for SMP configuration information" when the mptables are not being used.
FYI, the kernel emits "Using ACPI (MADT) for SMP configuration information" when the mptables are not being used.