A try with GRUB_OS_PROBER_SKIP_LIST="16144709171658112187@/dev/sda5" in /etc/default/grub fails to work around the issue. The error remains.
A try with OS_PROBER_ SKIP_LIST= "16144709171658 112187@ /dev/sda5"
GRUB_
in /etc/default/grub fails to work around the issue. The error remains.