Stefan Lankes e3e06fe523 set APICID of the boot processor to 0		2011-04-08 16:02:29 +02:00
..
x86	set APICID of the boot processor to 0	2011-04-08 16:02:29 +02:00