So this is an os-prober issue. Assigning to grub2 maintainer. Michael, any idea why it takes so long?