doc: update KERNEL.md.