30a31,32
> #include "cpu/kvm/x86_cpu.hh"
>
37c39
< #include "arch/x86/regs/msr.hh"
---
> #include "arch/registers.hh"
38a41
> #include "arch/x86/regs/msr.hh"
40d42
< #include "arch/registers.hh"
42d43
< #include "cpu/kvm/x86_cpu.hh"