Bernhard, please attach your current /etc/default/grub and /boot/grub/grub.cfg, or if applicable point me to where they're already attached and confirm that those versions are still current.
Bernhard, please attach your current /etc/default/grub and grub.cfg, or if applicable point me to where they're already
/boot/grub/
attached and confirm that those versions are still current.