kernel32: Remove some superfluous casts of void pointers.