x86: don't use MP_processor_info for ACPI mode