kernel32: Fix some pointer to integer casts.