3.9 grubby Sets Incorrect Saved Entry

If grubby is used to remove a kernel menu entry from the GRUB 2 configuration, the value of the default entry in /etc/grub2/grub.cfg is incorrect. The workaround is to set the value of GRUB_DEFAULT in /etc/default/grub to the correct entry and use grub2-mkconfig to recreate /etc/grub2/grub.cfg, or use yum or rpm to remove the kernel packages. (Bug ID 19192278)