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