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