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