Re: [PATCH] arch: arm: recode the initialization of GICv3 ITS Re-Distributor tables