Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
+++ boot/generic/src/printf_core.c	(revision 4f8772d4d5ecb28999d787aebab937222f9f97d8)
@@ -657,7 +657,7 @@
 
 			switch (uc) {
-			/*
-			 * String and character conversions.
-			 */
+				/*
+				 * String and character conversions.
+				 */
 			case 's':
 				retval = print_str(va_arg(ap, char *), width, precision, flags, ps);
@@ -683,7 +683,7 @@
 				continue;
 
-			/*
-			 * Integer values
-			 */
+				/*
+				 * Integer values
+				 */
 			case 'P':
 				/* Pointer */
@@ -715,12 +715,12 @@
 				break;
 
-			/* Percentile itself */
+				/* Percentile itself */
 			case '%':
 				j = i;
 				continue;
 
-			/*
-			 * Bad formatting.
-			 */
+				/*
+				 * Bad formatting.
+				 */
 			default:
 				/*