ARM: KVM: fix warning in mmu.c