diff --git a/src/sim/pseudo_inst.cc b/src/sim/pseudo_inst.cc
index 3c2a27f545..b5582578a1 100644
--- a/src/sim/pseudo_inst.cc
+++ b/src/sim/pseudo_inst.cc
@@ -35,7 +35,8 @@
 #include <fstream>
 #include <string>
 
-#include "arch/kernel_stats.hh"
+#include "config/full_system.hh"
+
 #include "arch/vtophys.hh"
 #include "base/debug.hh"
 #include "cpu/base.hh"
@@ -49,7 +50,9 @@
 #include "sim/stat_control.hh"
 #include "sim/stats.hh"
 #include "sim/system.hh"
+
 #if FULL_SYSTEM
+#include "arch/kernel_stats.hh"
 #include "sim/vptr.hh"
 #endif