[PATCH 0/4] KVM/ARM fixes for 4.13-rc4

[Radim Krčmář]

2017-08-03 16:28+0100, Marc Zyngier:
> Paolo, Radim,
> 
> Here's a pull request for a few KVM/ARM updates. Nothing major except
> for a VM destruction race (Suzuki has a knack for finding those...).
> 
> Please pull.

Pulled, thanks.