Anybody know how to remove extra boot options in the F10 menu. Extra options added by Linux utility efibootmgr still show up in Legacy boot mode.and I cannot find a way to remove them. Worse BIOS reports that "A bootable device has not been detected" for all options.
