diff --git a/pisi/actionsapi/kerneltools.py b/pisi/actionsapi/kerneltools.py
index cb91e646..04fd983d 100644
--- a/pisi/actionsapi/kerneltools.py
+++ b/pisi/actionsapi/kerneltools.py
@@ -131,9 +131,18 @@ def configure():
 # Building and nstallation stuff #
 ##################################
 
+def dumpVersion():
+    # Writes the specific kernel version into /etc/kernel
+    destination = os.path.join(get.installDIR(), "etc/kernel/")
+    if not os.path.exists(destination):
+        os.makedirs(destination)
+
+    open(os.path.join(destination, get.srcNAME()), "w").write("%s-%s" % (get.srcVERSION(), get.srcRELEASE()))
+
 def build(debugSymbols=False):
     extra_config = ["CONFIG_DEBUG_SECTION_MISMATCH=y"]
     if debugSymbols:
+        # Enable debugging symbols (-g -gdwarf2)
         extra_config.append("CONFIG_DEBUG_INFO=y")
 
     autotools.make("%s" " ".join(extra_config))