kernel: fix up