Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 0aae87a68b103134fdc85e357962274d6849b220)
+++ kernel/generic/src/main/kinit.c	(revision 22dfd380be327d91cff2394cd2f3d9143dd73a90)
@@ -176,5 +176,5 @@
 	 * stack with this default size.
 	 */
-	sysinfo_set_item_val("default.stack_size", NULL, STACK_SIZE);
+	sysinfo_set_item_val("default.stack_size", NULL, STACK_SIZE_USER);
 	
 	interrupts_enable();