Index: kernel/test/print/print4.c
===================================================================
--- kernel/test/print/print4.c	(revision 797d4d193fb13a383f79845727e8ac92d9d83ae6)
+++ kernel/test/print/print4.c	(revision b992d9d6bd91d19dd9169046d7accb6a1e2efc22)
@@ -36,5 +36,5 @@
 	uint8_t group;
 	for (group = 1; group < 4; group++) {
-		TPRINTF("%#" PRIx8 ": ", group << 5);
+		TPRINTF("%#x: ", group << 5);
 		
 		uint8_t index;
@@ -52,5 +52,5 @@
 	
 	for (group = 4; group < 8; group++) {
-		TPRINTF("%#" PRIx8 ": ", group << 5);
+		TPRINTF("%#x: ", group << 5);
 		
 		uint8_t index;