ARM: KVM: get rid of S2_PGD_SIZE