40a41
> #include "arch/kernel_stats.hh"
42d42
< #include "kern/kernel_stats.hh"