Same problem here. Editting /etc/default/grub had no effect. Boot-repair fixed the problem though. I'm using UEFI.
Same problem here. Editting /etc/default/grub had no effect. Boot-repair fixed the problem though. I'm using UEFI.