Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 52755f1aae0f6627004f7f5763abd7ae8af7b8e8)
+++ kernel/generic/src/proc/thread.c	(revision cde485d925ad71041a0d21bd2017a6e1860f19be)
@@ -294,6 +294,5 @@
 	
 	/* Not needed, but good for debugging */
-	memsetb((uintptr_t) t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES,
-	    0);
+	memsetb(t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES, 0);
 	
 	ipl = interrupts_disable();