Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 52755f1aae0f6627004f7f5763abd7ae8af7b8e8)
+++ kernel/generic/src/proc/thread.c	(revision f1fa26579ba194370cae465bf86b7018541bbdc2)
@@ -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();