Fix FS#8052 - kernel.c compilation errors when compiling for debug. Just some minor...
commitdce8414f61a76249a623e12f5ee20ca369878fe4
authorjethead71 <jethead71@a1c6a512-1295-4272-9138-f99709370657>
Tue, 30 Oct 2007 20:36:23 +0000 (30 20:36 +0000)
committerjethead71 <jethead71@a1c6a512-1295-4272-9138-f99709370657>
Tue, 30 Oct 2007 20:36:23 +0000 (30 20:36 +0000)
treebefb30a2557c170df9e3ce47914b6bf6b97ef2e3
parent1900a4ad7aa9b647d1d137581c4c604e11322c69
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
firmware/kernel.c