32,33d31
< #include "arch/arm/linux/linux.hh"
<
35a34,35
> #include "arch/arm/linux/linux.hh"
>