Как добавить параметры "atkbd.reset i8042.nomux" в rEFInd?

У меня есть Toshiba Satellite, в котором есть ошибка, из-за которой после выхода из режима ожидания клавиатура и тачпад (редактировать: это иногда случается) не работают.

Это можно исправить, отредактировав /etc/default/grub и установив:

GRUB_CMDLINE_LINUX_DEFAULT = "тихий всплеск atkbd.reset i8042.nomux"

где жирным шрифтом являются те параметры, которые я добавил.

Теперь, когда я впервые установил rEFInd, он автоматически перенес настройки GRUB, включая приведенные выше. Однако я недавно очистил установленную Ubuntu на новом SSD, и одной из первых вещей, которые я сделал, была установка rEFInd; Я только позже вспомнил, что мне нужно было изменить строку выше. Поэтому я попытался отредактировать /etc/default/grub после установки rEFInd, но это, похоже, не дало эффекта при использовании rEFInd.

Итак, в какой файл я должен добавить atkbd.reset i8042.nomux?

РЕДАКТИРОВАТЬ - sudo update-grub не работает, проблема все еще присутствует