Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision 907d91a80c0650e86aa38b2f40556a3b07ed7013)
+++ boot/generic/src/printf_core.c	(revision 73db198fc789c011416723b1513d3e3943f91afa)
@@ -681,4 +681,5 @@
 				/* Pointer */
 				flags |= __PRINTF_FLAG_BIGCHARS;
+				/* Fallthrough */
 			case 'p':
 				flags |= __PRINTF_FLAG_PREFIX;
@@ -696,8 +697,10 @@
 			case 'i':
 				flags |= __PRINTF_FLAG_SIGNED;
+				/* Fallthrough */
 			case 'u':
 				break;
 			case 'X':
 				flags |= __PRINTF_FLAG_BIGCHARS;
+				/* Fallthrough */
 			case 'x':
 				base = 16;