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