kernel: Fix some whitespace from the previous commit.