hw/arm_gic: Fix comparison with priority mask register