a0ea75ecbd
The change breaks kern_clock.c; fix that temporarily by including "opt_cpu.h" there.
The change breaks kern_clock.c; fix that temporarily by including "opt_cpu.h" there.