2016-11-18 09:39+0000, Marc Zyngier: > Paolo, Radim, > > Please find below the pull request for a couple of fixes for the > PMU emulation, courtesy of Wei. Both patches are candidates for stable. Pulled, thanks.