s390: desupport 32-bit Linux kernels on s390/s390x