Я не знаю ни одного места, где это прокладывается в GUI.
sudo pkill -u <username>
- действительно простой способ сделать это, а затем
sudo pkill -KILL -u <username>
чуть позже, если он не выключится, как должен. Если «нетехнический» пользователь не может вспомнить об этом, скрипт для запроса имени пользователя и последующего запуска этих команд будет состоять из пяти строк кода и может иметь ссылку на него, размещенную где-то удобно.