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 b14d9f9e108f8cacda71d80e4c69fc82509d9824)
@@ -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;