Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 48daf64d8f5485685d9416e689f4390c6de5c31a)
+++ kernel/generic/src/main/kinit.c	(revision 1e241723f8bf25509356cb56bbf4d3a477c3fac5)
@@ -209,5 +209,5 @@
 		uint64_t i = 0;
 		while (1) {
-			printf(PRIu64 " ", i);
+			printf("%" PRIu64 " ", i);
 			thread_sleep(1);
 			i++;