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