Symbol: kvm_free_stage2_pgd