Index: kernel/generic/src/debug/util.c
===================================================================
--- kernel/generic/src/debug/util.c	(revision 2fbb42fc7cb049341ed2bb0ef644df1429f5fa15)
+++ kernel/generic/src/debug/util.c	(revision fdfb24eeffcfac57ce3048026b204ef70bf13003)
@@ -33,5 +33,6 @@
 #include <debug/names.h>
 
-/* These declarations cause global definitions for the functions to be emitted
+/*
+ * These declarations cause global definitions for the functions to be emitted
  * in this compilation unit, so if the compiler decides not to inline some of
  * them, only one external copy exists. See C99 inline rules.
@@ -186,5 +187,5 @@
 
 void print_block(const uint8_t **const data,
-	    const uint8_t *data_end, unsigned bytes)
+    const uint8_t *data_end, unsigned bytes)
 {
 	while (bytes > 0 && *data < data_end) {
@@ -196,5 +197,5 @@
 
 void print_formed_data(unsigned form, const uint8_t **const data,
-	    const uint8_t *data_end, unsigned width)
+    const uint8_t *data_end, unsigned width)
 {
 	size_t len;
@@ -266,5 +267,5 @@
 		uint64_t data1 = read_uint64(data, data_end);
 		uint64_t data2 = read_uint64(data, data_end);
-		DEBUGF("0x%016"PRIx64"%016"PRIx64, data2, data1);
+		DEBUGF("0x%016" PRIx64 "%016" PRIx64, data2, data1);
 		break;