xen64: get active_mm from the pda