Hi Markus, with > > CONFIG_X86_UP_APIC is changed . Voila - the problem is solved. I only mean the problem to find out how you can change your config file. Of course it is necessary to recompile (don't forget the make clean!) the kernel and install it. Niels