Re: [TF-A] Alignment fault checking in EL3