kernel: fix compilation error