Re: [PATCH] arm: Migrate GICV2 / GICV3 to Kconfig