1a5b1baf32
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