Marcello, Ayberk, just to be sure, did you guys do `sudo update-grub` and reboot after adding the parameter?
Marcello, Ayberk, just to be sure, did you guys do `sudo update-grub` and reboot after adding the parameter?