[PATCH] ntp: Use adjtimex to tune the kernel clock