Comment 8 for bug 1598312

Permanently adding kernel parameters to grub config is described at
    http://askubuntu.com/questions/19486/how-do-i-add-a-kernel-boot-parameter
(But it's all or nothing, so you cannot add the parameter only to one of two dual-booting Linuxes.)