You should use an amd64 kernel for dual core processors, i think, not an SMP one.
2x32 != 64 ;) Does mobile Core Duo have emt64?
> 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. Dmitry.
