kernel: fix