PS: I can't help you with editing you configurations for the configuration. I don't use those GRUB-auto-thingies. IOW the automation is not enabled on my machines, hence I can manually edit /boot/grub/grub.cfg .