kernel: fix some documentation