Re: [PATCH v9 21/37] arm: lib: Add GICV2 driver