s390/vdso: use union tod_clock