Index: kernel/test/fpu/sse1.c
===================================================================
--- kernel/test/fpu/sse1.c	(revision a000878c0dee83a08f032207ffd800c201fca95b)
+++ kernel/test/fpu/sse1.c	(revision b12d3cc3ff8f0ff3656ec8964938909a8bb0ad7a)
@@ -142,5 +142,5 @@
 	
 	while (atomic_get(&threads_ok) != total) {
-		TPRINTF("Threads left: %d\n", total - atomic_get(&threads_ok));
+		TPRINTF("Threads left: %" PRIua "\n", total - atomic_get(&threads_ok));
 		thread_sleep(1);
 	}