kernel: fix some minor error: