621d611a9d
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>.