cpumask: cpu_coregroup_mask(): s390