Quote Originally Posted by n2ize View Post
So what would be my best option ? Should I change those settings in /etc/default/grub and then run "# grub2-mkconfig -o /boot/grub2/grub.cfg" ?
I "think" so. It's been quite some time since I've played with boot options (Just make it work).