Unintended address sign-extension on 32bit environment

Patch from Sylvain Collange