s390/time: always use stckf instead of stck if available