Make check for GRUB_DISABLE_LINUX_UUID more stable