Thanks Linus and Marc.

On Fri, Feb 19, 2016 at 4:11 PM, Linus Walleij [off-list ref] wrote:

On Wed, Feb 17, 2016 at 2:15 PM, Quan Nguyen [off-list ref] wrote:

quoted

Enable X-Gene standby GPIO controller as interrupt controller to provide
its own resources. This avoids ambiguity where GIC interrupt resource is
use as X-Gene standby GPIO interrupt resource in user driver.

Signed-off-by: Y Vo <redacted>
Signed-off-by: Quan Nguyen <redacted>
Acked-by: Marc Zyngier <redacted>

Sweet! Patch applied.

Yours,
Linus Walleij