Kernel code style cleanups