Index: kernel/test/print/print4.c
===================================================================
--- kernel/test/print/print4.c	(revision d16fc78377f93b84ff62600fd378ab0e65c050b5)
+++ kernel/test/print/print4.c	(revision ba02baac3c7ab204e742fe94ecb756dd60e8fb91)
@@ -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;