I just committed rev 1.27 of i386/i386/mp_machdep.c which should fix the problem. (Thanks go to David Rhodus for testing and debugging all my patch sets!) -Matt