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