Re: [BUG] efi_loader: incorrect creation of device paths