Fix 32-bit PV guests where CR3 value is outside the range of a uint32_t