[PATCH] efi_loader: make efi_delete_handle() follow the EFI spec