Por engano, executei este comando grub2-mkconfig -o /etc/default/grub , que substituiu o arquivo /etc/default/grub por /boot/grub2/grub.cfg . Então eu mudei manualmente /etc/default/grub para:
GRUB_TIMEOUT=5
GRUB_DEFAULT=saved
GRUB_DISABLE_SUBMENU=true
GRUB_TERMINAL_OUTPUT="console"
GRUB_CMDLINE_LINUX="crashkernel=auto rhgb quiet"
GRUB_DISABLE_RECOVERY="true"
e agora funciona bem.