s390x: introduce and use S390_MAX_CPUS