s390/vtime: use cpu alternative for stck/stckf