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