Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/main/main.c	(revision 774aa33295605fdbbdcdc06516322c0665399f63)
@@ -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