Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ boot/generic/src/printf_core.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -547,5 +547,5 @@
 				default:
 					end = true;
-				};
+				}
 			} while (!end);