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