target/s390x: Fix shifting 32-bit values for more than 31 bits