39a40
> #include "arch/kernel_stats.hh"
41d41
< #include "kern/kernel_stats.hh"