SMP problems with Thinkpad X60s

Hello,

I tried running Pistachio with SMP support enabled on my laptop
(Thinkpad X60s with Core Duo L2400 and 2GB RAM). It doesn't seem to get
very far. This is the output with verbose initialization (hand
transliterated since this thing has no serial port):

...
Initializing Timer
    global timer: trap gate 64
Starting 2 application processors (00158000->00004000)
Sending sstartup IPI to CPU#1 APIC 1
    local APIC id=0, version=20
    local APIC error trap gate 67
    Activating TSS (CPU 0)se
    Initializing GDT (CPU 0)
    Activating IDT (CPU 0)
    Enabling global pages (CPU 0)
    Activating MSRS (CPU 0)
    Initializing Timer (CPU 0)
    Calculating processor speed (CPU 0)...
    speed: 1662 MHz, bus speed: 166 MHz (CPU 0)
    Initializing Processor (CPU 0)
Registering processor 0 in KIP (166 MHz, 1662 MHz)

At this point the box freezes. I'll try to get hold of a docking station
in the next couple of days in order to get the complete output. But
perhaps someone has already a clue what is going wrong?

The config I used is attached.

Regards,
-- 
Julian Stecklina

Well, take it from an old hand: the only reason it would be easier to
program in C is that you can't easily express complex problems in C,
so you don't. - Erik Naggum (in comp.lang.lisp)

(Spam-Experiment: http://cthulhu.c3d2.de/~astro/badpit.html )

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (GNU/Linux)

iEYEARECAAYFAkhyuDcACgkQoSK1GFwLZrNW4gCeIueLQjm47c2ZZmHHQJAYAVPy
NTsAn0/ka6DkjNJyalwBajLNKR5FpBY1
=FWsg
-----END PGP SIGNATURE-----