42c42
< #include "kern/kernel_stats.hh"
---
> #include "arch/kernel_stats.hh"