[PATCH 4.9 014/165] s390/time: Fix clk type in get_tod_clock