Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 907d91a80c0650e86aa38b2f40556a3b07ed7013)
+++ kernel/generic/src/printf/printf_core.c	(revision f2338407dd7bc780955a89da886fff9b8c761691)
@@ -815,4 +815,5 @@
 				/* Pointer */
 				flags |= __PRINTF_FLAG_BIGCHARS;
+				/* Fallthrough */
 			case 'p':
 				flags |= __PRINTF_FLAG_PREFIX;
@@ -830,8 +831,10 @@
 			case 'i':
 				flags |= __PRINTF_FLAG_SIGNED;
+				/* Fallthrough */
 			case 'u':
 				break;
 			case 'X':
 				flags |= __PRINTF_FLAG_BIGCHARS;
+				/* Fallthrough */
 			case 'x':
 				base = 16;