doc: typo in doc/KERNEL.md