Re: Fwd: [PATCH] vexpress: Setup IRQ affinity to A7s for TC2