no ACPI support for the 2nd CPU?