Linux clock driver - minor improvements