Ошибка: файл '/boot/vmlinuz-4.13.0-041300-generic' не найден, как создать?

После обновления до 17.10 появляется следующая ошибка:

error: file '/boot/vmlinuz-4.13.0-041300-generic' not found   
error: you need to load the kernel first

Через другую установленную ОС я могу взглянуть на каталог /boot/, показывая следующее содержимое:

Где я могу четко видеть, что "пропавший" файл на самом деле там.

Так как я могу решить эту проблему?