[Bug 1042433] New: GRUB_DISABLE_LINUX_RECOVERY vs GRUB_DISABLE_RECOVERY