If TARGET_ABI_BITS is bigger than 32 we shift by more than the size of int.
Signed-off-by: NAndreas Schwab <schwab@suse.de>
Reviewed-by: NPeter Maydell <peter.maydell@linaro.org>
Signed-off-by: NRiku Voipio <riku.voipio@linaro.org>