Index: boot/generic/include/printf.h
===================================================================
--- boot/generic/include/printf.h	(revision d16fc78377f93b84ff62600fd378ab0e65c050b5)
+++ boot/generic/include/printf.h	(revision cdc3afaf697503234a75137371d2e29fba5f79a9)
@@ -35,15 +35,5 @@
 #include <typedefs.h>
 #include <stdarg.h>
-
-#ifndef NVERIFY_PRINTF
-
-#define PRINTF_ATTRIBUTE(start, end) \
-	__attribute__((format(gnu_printf, start, end)))
-
-#else /* NVERIFY_PRINTF */
-
-#define PRINTF_ATTRIBUTE(start, end)
-
-#endif /* NVERIFY_PRINTF */
+#include <printf_verify.h>
 
 #define EOF  (-1)