Fix indents in kernel.c