Re: [PATCH 2/5] hw: arm_gic: Introduce GIC_SET_PRIORITY macro