33a34
> #include "arch/alpha/kernel_stats.hh"
43d43
< #include "kern/alpha/kernel_stats.hh"