Fix indents
Merge pull request #2233 from suzukaze/fix-indent

Fix indents in kernel.c