changed kernel stack top to 0x40000000 (1GB) virtual

git-svn-id: svn://anubis/hos/trunk@81 5b3e749e-e535-0410-8002-a9bb6afbdfca

kernel/boot/k_bootstrap.cc

@@ -4,6 +4,7 @@
 #include "hos_types.h"
 #include "hos_defines.h"
 #include "multiboot.h"
+#include "sys/cpu.h"
 #include "k_early_panic.h"
 #include "mm/mm.h"
 #include "lang/kio.h"
@@ -63,10 +64,8 @@ void k_bootstrap(mb_info_t * mb_info, u32_t mb_magic)
     kio_bootstrap();
     DEBUG_LETTER(5, 'f');
 
-    __asm__ __volatile__ ("mov $0xF0000000, %%esp;"
-            : /* no outputs */
-            : /* no inputs */
-            : /* no clobbers */);
+    /* begin using the permanent stack */
+    write_esp(KERNEL_STACK_TOP);
     k_main();
 
     idle_loop();