Symbol: XPV_ALLOW_PAGETABLE_UPDATES