Adding <arch>s390</arch> additionally (as an experiment has got a kernel bug as a result. s390 should be a build for 32Bit and s390x for 64Bit. Is that a bug in OBS, if this change has got only an effect with the s390 definition?