Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/main/main.c	(revision ec397203e399886ac45d617da8098ea6ae81f914)
@@ -95,5 +95,6 @@
 #include <cap/cap.h>
 
-/* Ensure [u]int*_t types are of correct size.
+/*
+ * Ensure [u]int*_t types are of correct size.
  *
  * Probably, this is not the best place for such tests