Index: boot/generic/include/printf.h
===================================================================
--- boot/generic/include/printf.h	(revision d16fc78377f93b84ff62600fd378ab0e65c050b5)
+++ boot/generic/include/printf.h	(revision 322ac35ce567118aec7f9c14409afc6f40ebcfb6)
@@ -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)