[S390] Use CONFIG_GENERIC_TIME and define TOD clock source.