Index: boot/generic/include/printf_verify.h
===================================================================
--- boot/generic/include/printf_verify.h	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ boot/generic/include/printf_verify.h	(revision b13d80b2d3d6107331beeefec2ede2df8f661cba)
@@ -33,14 +33,11 @@
 #define BOOT_PRINTF_VERIFY_H_
 
-#ifndef _HELENOS_NVERIFY_PRINTF
-
+#ifdef __clang__
+#define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
+	__attribute__((format(__printf__, start, end)))
+#else
 #define _HELENOS_PRINTF_ATTRIBUTE(start, end) \
 	__attribute__((format(gnu_printf, start, end)))
-
-#else /* _HELENOS_NVERIFY_PRINTF */
-
-#define _HELENOS_PRINTF_ATTRIBUTE(start, end)
-
-#endif /* _HELENOS_NVERIFY_PRINTF */
+#endif
 
 #endif