Hi Peter,
On Wed, Aug 17, 2016 at 9:57 AM, Marc Zyngier [off-list ref] wrote:
Look, we've been there before. For your platform to work with your
configuration, you need the GIC patch that I already posted, and that
has been tested by Fabio Estevam on the same A7 platform.