On Tue, 2018-08-21 at 16:34 +0100, Marc Zyngier wrote: > Could you give that patchlet[1] a go? It solves a similar issue for me > on a different platform. > > [1] https://lists.cs.columbia.edu/pipermail/kvmarm/2018-August/032469.html Yup, all better. -Mike