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