Fedora 17, not possible to add kernel parameters to GRUB 2