[PATCH v2 03/26] irqchip/gic-v3: Fix priority mask handling