Сбой установщика NVIDIA при обновлении ядра

18.04 у меня возникла следующая проблема:

• GCC был обновлен с GCC 7.3 до GCC 7.4
• Было установлено новое ядро ​​(скомпилировано с 7.3)

Теперь драйвер NVIDIA не устанавливается, поскольку он требует, чтобы установленная версия также использовалась для компиляции ядра.

Я безуспешно пробовал IGNORE_CC_MISMATCH. Каков предпочтительный способ решения проблемы:

• Перекомпилируйте пакет ядра с текущим gcc
• Понизьте GCC до 7.3

Я полагаю, что следует сообщать об ошибке до канонической (название: Всегда развертывать ядра, скомпилированные с текущей версией GCC).