Linux clock driver fix