Fix FS#8052 - kernel.c compilation errors when compiling for debug. Just some minor typos that got in with last minute SW corelock changes.

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@15380 a1c6a512-1295-4272-9138-f99709370657
1 file changed