diff --git a/src/cpu/simple/base.cc b/src/cpu/simple/base.cc
index e93fd4bed..0f4df9a42 100644
--- a/src/cpu/simple/base.cc
+++ b/src/cpu/simple/base.cc
@@ -408,7 +408,7 @@ BaseSimpleCPU::postExecute()
 {
 #if FULL_SYSTEM
     if (system->kernelBinning->fnbin) {
-        assert(kernelStats);
+        assert(cpuXC->getKernelStats());
         system->kernelBinning->execute(xcProxy, inst);
     }