It worked!! good catch 
2 small notes to be added:
sudoedit /etc/default/grub.d/50_user.cfg
50_user.cfg is not created by default, but it will be newly created by this command.
Adding the noaccel to /etc/default/grub will not give any effect, so only commands in /etc/default/grub.d/ will take effect.
2 Likes