diff --git a/src/sim/kernel_workload.cc b/src/sim/kernel_workload.cc
index 434e31750d..62e94550d9 100644
--- a/src/sim/kernel_workload.cc
+++ b/src/sim/kernel_workload.cc
@@ -61,6 +61,13 @@ KernelWorkload::KernelWorkload(const Params &p) : Workload(p),
         });
 
         kernelSymtab = kernelObj->symtab();
+        auto initKernelSymtab = kernelSymtab.mask(_loadAddrMask)
+            ->offset(_loadAddrOffset)
+            ->rename([](std::string &name) {
+                name = "kernel_init." + name;
+            });
+
+        Loader::debugSymbolTable.insert(*initKernelSymtab);
         Loader::debugSymbolTable.insert(kernelSymtab);
     }