ACPI: boot correctly with "nosmp" or "maxcpus=0"