Comment 35 for bug 392948

I'm very sorry. I made a mistake writing the description as I wrote how to do it in earlier versions of Ubuntu. The only way to enable it is editing /etc/default/grub as that is the file responsible for default boot options.
"Linux" and Linux mean exactly the same. It's just tidier.
One more time, I'm sorry for my mistake. This day is really hard for me.