[PATCH 3.16 008/305] s390/timex: fix get_tod_clock_ext() inline assembly