2cfd7b73f593 ("s390/kvm: use union tod_clock")