Index: boot/generic/include/stddef.h
===================================================================
--- boot/generic/include/stddef.h	(revision 002fd5f375765c45f5e59bbc374e1418520abddf)
+++ boot/generic/include/stddef.h	(revision d4da8601eeecd6ff5bc2be80760523864c341a26)
@@ -35,5 +35,5 @@
 #include <arch/types.h>
 
-#define NULL  ((void *) 0)
+#include <_bits/NULL.h>
 
 #endif