81a40401a6
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.