[BUG] efi_loader: incorrect creation of device paths