Comment 5 for bug 126369

Brian Murray (brian-murray) wrote :

It might fix it completely and if it does that would be good information for us to have. There is some information about modify boot options in Grub at https://help.ubuntu.com/community/GrubHowto#head-7d876114f64c154224630a01c0bd9c4d335e931d . Thanks!