30a31,32
> #include "kern/linux/linux.hh"
>
36d37
< #include "kern/linux/linux.hh"