Fix top-nibble cleansing before branch: restrict to 31-bit s390 host