On Tue, 18 Sep 2007, Brad du Plessis wrote:
> Both cores are detected correctly if I run with ACPI, but I'm seeing the 
> alleged ACPI system-controller misconfiguration issue that results in 
> thousands of interrupts a second (>200k). So as a result of this I tried 
> compiling a kernel without ACPI by setting a configuration as follows:

Can you try a recent kernel from the jmcneill-pm branch? You should see 
some messages from the ppb(4) driver at boot:

   ppb0: disabling unsupported PM and Hot Plug SCI

Hopefully this will resolve your issue.

Cheers,
Jared