e77e9e1ba8
an integer type and the a cast to (void *) was added in the definition of NULL for the kernel, we need to use 0 here instead. Partly submitted by: cperciva