Index: boot/generic/include/typedefs.h
===================================================================
--- boot/generic/include/typedefs.h	(revision 9539be6c880110557328e7e518cf276b94c1b07f)
+++ boot/generic/include/typedefs.h	(revision 8fb1bf822f6a9bc8f1cfcf6d4f55e602effe5401)
@@ -37,5 +37,5 @@
 #include <arch/types.h>
 
-#define NULL  0
+#define NULL	((void *) 0)
 
 #define false  0