[PATCH 4.4 012/113] s390/time: Fix clk type in get_tod_clock