GRUB_DISABLE_OS_PROBER flag appears to be ignored in /etc/default/grub