ukernel: update e-mail and fix typo