Re: [PATCH] KVM: arm64: Fix definition of PAGE_HYP_DEVICE