[PATCH] kernel/time/ntp.c: possible cleanups