ukernel: f9kernel: fix typo