[PATCH 4.19 32/38] s390/time: Fix clk type in get_tod_clock