Нашел на askubuntu

Скачиваем патч.

 wget https://gist.githubusercontent.com/rarylson/da6b77ad6edde25529b2/raw/99f266a10e663e1829efc25eca6eddb9412c6fd/00_header_patched

Перемещаем штатный 00_header

mv/etc/grub.d/00_header /etc/grub.d/00_header.orig

Делаем его не исполняемым

chmod -x /etc/grub.d/00_header.orig

Перемещаем наш новый в /etc/grub.d/
mv 00_header_patched /etc/grub.d/00_header

Делаем его исполняемым
chmod +x /etc/grub.d/00_header

Обновляем grub
update-grub