Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision b2fa2d86f31fd2f3a0ce7dad1f5039f5efa891f1)
+++ kernel/generic/src/main/main.c	(revision 52ff62d3f50509727dcd19954d32d6783a39d956)
@@ -97,6 +97,8 @@
 	STATIC_ASSERT_VERBOSE(sizeof(signness##size##_t) * 8 == size, \
 	    #signness #size "_t does not have " #size " bits");
+
 #define CHECK_INT_TYPE(size) \
-	CHECK_INT_TYPE_(int, size); CHECK_INT_TYPE_(uint, size)
+	CHECK_INT_TYPE_(int, size); \
+	CHECK_INT_TYPE_(uint, size)
 
 CHECK_INT_TYPE(8);
@@ -104,7 +106,4 @@
 CHECK_INT_TYPE(32);
 CHECK_INT_TYPE(64);
-
-
-
 
 /** Global configuration structure. */