ukernel: f9kernel: update reference and tweak words