Welcome to Qubes and Linux 
In addition to editing the /etc/default/grub in dom0, you’ll also have to actually update the GRUB config - see:
To edit grub at boot time, highlight the boot-profile you wants to use/change, press e and use the arrow keys to navigate to where you’ll add/remove options.When you are done, press ctrl+x to boot.