[PATCH] efi_loader: efi_disk_register() should not fail