a2378a9d0c
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>.