check if GRUB_DISABLE_OS_PROBER already exists