Hack around misuse of reserved names clock' and and time' in a different
way. Defining KERNEL before including <sys/time.h> broke when "opt_cpu.h"
was included in a deeply nested header, except in -current where the
problem is masked by a namespace pollution bug in <stdio.h>.