Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision c738d657d3d585f90fca437b475d4589b00e50be)
+++ kernel/generic/src/main/version.c	(revision d7baee61b7e0ef91ce4828e0e32c18c917b49a87)
@@ -57,5 +57,6 @@
 void version_print(void)
 {
-	printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n", project, release, name, revision, timestamp, arch, copyright);
+	printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n",
+		project, release, name, revision, timestamp, arch, copyright);
 }
 
Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision c738d657d3d585f90fca437b475d4589b00e50be)
+++ kernel/generic/src/printf/printf_core.c	(revision d7baee61b7e0ef91ce4828e0e32c18c917b49a87)
@@ -268,13 +268,13 @@
 	if (flags & __PRINTF_FLAG_PREFIX) {
 		switch(base) {
-			case 2:	/* Binary formating is not standard, but usefull */
-				size += 2;
-				break;
-			case 8:
-				size++;
-				break;
-			case 16:
-				size += 2;
-				break;
+		case 2:	/* Binary formating is not standard, but usefull */
+			size += 2;
+			break;
+		case 8:
+			size++;
+			break;
+		case 16:
+			size += 2;
+			break;
 		}
 	}
@@ -329,30 +329,30 @@
 	if (flags & __PRINTF_FLAG_PREFIX) {
 		switch(base) {
-			case 2:	/* Binary formating is not standard, but usefull */
-				if (printf_putchar('0', ps) == 1)
+		case 2:	/* Binary formating is not standard, but usefull */
+			if (printf_putchar('0', ps) == 1)
+				counter++;
+			if (flags & __PRINTF_FLAG_BIGCHARS) {
+				if (printf_putchar('B', ps) == 1)
 					counter++;
-				if (flags & __PRINTF_FLAG_BIGCHARS) {
-					if (printf_putchar('B', ps) == 1)
-						counter++;
-				} else {
-					if (printf_putchar('b', ps) == 1)
-						counter++;
-				}
-				break;
-			case 8:
-				if (printf_putchar('o', ps) == 1)
+			} else {
+				if (printf_putchar('b', ps) == 1)
 					counter++;
-				break;
-			case 16:
-				if (printf_putchar('0', ps) == 1)
+			}
+			break;
+		case 8:
+			if (printf_putchar('o', ps) == 1)
+				counter++;
+			break;
+		case 16:
+			if (printf_putchar('0', ps) == 1)
+				counter++;
+			if (flags & __PRINTF_FLAG_BIGCHARS) {
+				if (printf_putchar('X', ps) == 1)
 					counter++;
-				if (flags & __PRINTF_FLAG_BIGCHARS) {
-					if (printf_putchar('X', ps) == 1)
-						counter++;
-				} else {
-					if (printf_putchar('x', ps) == 1)
-						counter++;
-				}
-				break;
+			} else {
+				if (printf_putchar('x', ps) == 1)
+					counter++;
+			}
+			break;
 		}
 	}