[PATCH 5.5 58/80] s390/time: Fix clk type in get_tod_clock