31a32,33
> #include "arch/alpha/system.hh"
>
35d36
< #include "arch/alpha/system.hh"