Update kernel.c

Fix a spelling error on line 26.
Remove an unnecessary hyphen on line 30.