ukernel: f9kernel: tweak words