Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 04cb68f2d06da3440e206ec4339c4d23afa3910a)
+++ kernel/generic/include/typedefs.h	(revision 46d4d9f449e7933280b1877c70448602ec0ab0ae)
@@ -40,5 +40,5 @@
 #include <arch/types.h>
 
-#define NULL  0
+#define NULL  0UL
 
 #define false  0