As before, the full series you can build and test can be found at:https://github.com/anholt/linux/tree/bcm2836-irqchip