x86: misc MP/ACPI fixes