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