41a42
> #include "arch/kernel_stats.hh"
48d48
< #include "kern/kernel_stats.hh"