Re: [PATCH v3 02/14] ARM: KVM: fix vgic V7 assembler code to work in BE image