32c32
< #include "arch/isa_specific.hh"
---
> #include "config/the_isa.hh"