Fix issue when CR3 is outside the scope of a uint32_t (relevant with PV ...

...PAE Linux domU's)