Eu não sei de nenhum lugar onde isso é canalizado para a GUI.
sudo pkill -u <username>
é realmente a maneira mais simples de fazer isso, seguida por
sudo pkill -KILL -u <username>
um pouco mais tarde, se tudo não for desligado como deveria. Se o usuário "não técnico" em questão não conseguir se lembrar disso, um script para solicitar um nome de usuário e executá-los seria de cerca de cinco linhas de código e poderia ter um link para ele em algum lugar conveniente.