Помимо кнопки терминала и кнопки питания, есть еще один способ использования обычных сочетаний клавиш.
Нажмите ctrl + f10, чтобы сделать фокус на верхнем баре. Теперь с помощью клавиши со стрелкой перейдите в меню питания в крайнем правом углу. Снова используйте клавишу со стрелкой, чтобы выбрать shutdown. Выберите снова или снова перезапустить с помощью клавиш со стрелками и Enter