xen: rework pgd_walk to deal with 32/64 bit