Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision 902dd4bcbf12a24a5c7153d6f97cf6cd7886c59f)
@@ -511,5 +511,5 @@
 			break;
 		case SYSINFO_VAL_VAL:
-			printf(" -> %" PRIun" (%#" PRIxn ")\n", cur->val.val,
+			printf(" -> %" PRIun " (%#" PRIxn ")\n", cur->val.val,
 			    cur->val.val);
 			break;
@@ -519,5 +519,5 @@
 		case SYSINFO_VAL_FUNCTION_VAL:
 			val = cur->val.gen_val.fn(cur, cur->val.gen_val.data);
-			printf(" -> %" PRIun" (%#" PRIxn ") [generated]\n", val,
+			printf(" -> %" PRIun " (%#" PRIxn ") [generated]\n", val,
 			    val);
 			break;