If you think of kernel32 & friends, that's not actually considered kernel code. That is the "kernel" of Win32, which is mostly a userspace thing. The word kernel is just used in an overloaded way.