2x32 != 64 ;)
> You should use an amd64 kernel for dual core processors, i think, not an
> > Non realtime patched SMP kernel works nice.
rt-kernel has heavily reworked irq handling and seems to have issues
with acpi and laptops.
On my laptop (acer 3004wtmi, Sonoma 2ghz), rt-kernels boots, but
harddrive crawls. Passing acpi=off to kernel solves this, but makes
nearly all devices use 2 or 3 interrupts (bad).
Try turning acpi off in rt-kernel. You'll loose battery info, but it
may boot at least.