Re: [PATCH] efi_loader: Remove unused diskid