[PATCH v11 10/19] irqchip: gic: Group 0 workaround.