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