s390/time: use stcke instead of stck