FWIW, my prior comment was confusing. GRUB handles both efibootmgr entries correctly on its own with this new functionality.
FWIW, my prior comment was confusing. GRUB handles both
efibootmgr entries correctly on its own with this new
functionality.