Re: [PATCH] ARM64: KVM: Fix VGIC compile error for Linux-3.14-rc1