kernel: fix description