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