[PATCH 4.14 030/237] s390/time: Fix clk type in get_tod_clock