Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision d6e852916cb4672682728fa0540fe558bca857b2)
+++ generic/src/main/kinit.c	(revision 80bff3426b0c5ce4e21f4e7f42a392db6cfc0d9a)
@@ -174,5 +174,5 @@
 	if (!a)
 		panic("vm_area_create: vm_stack\n");
-	vm_area_map(a, m);	
+	vm_area_map(a, m);
 	
 	thread_ready(t);