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