Comment 70 for bug 197209

I tried adding those commands to GRUB, but to no avail...