[S390] allow setting of upper 32 bit in smp_ctl_set_bit