Stefan Lankes 6259892c00 initialize the kernel stack only for the boot task		2012-07-14 11:15:18 +02:00
..
x86	initialize the kernel stack only for the boot task	2012-07-14 11:15:18 +02:00