Use explicit kernel pointer typecasts

Some compilers don't like implicit casts from function pointers
to void*, so if we're going to be dirty, dirty people, we may
as well come clean about it.

Change-Id: Ia071c6a10a4ec20b83ddb13e4f0cd2a7b139264f