Using 32-bit integers would trim the WPR address if it is allocated above 4GB.
Signed-off-by: NAlexandre Courbot <acourbot@nvidia.com>
Signed-off-by: NBen Skeggs <bskeggs@redhat.com>