diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 767c786ebc..702e153673 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -917,7 +917,7 @@ extern "C" void kernel()
 	cpu_scheduler()->head()->proceed();
 }
 
-static Kernel::Mode_transition_control * Kernel::mtc()
+Kernel::Mode_transition_control * Kernel::mtc()
 {
 	/* compose CPU context for kernel entry */
 	struct Kernel_context : Cpu::Context
diff --git a/base-hw/src/core/kernel/pd.h b/base-hw/src/core/kernel/pd.h
index 54074f1e92..5a83d9745f 100644
--- a/base-hw/src/core/kernel/pd.h
+++ b/base-hw/src/core/kernel/pd.h
@@ -47,7 +47,7 @@ namespace Kernel
 	/**
 	 * Return the system wide mode-transition control
 	 */
-	static Mode_transition_control * mtc();
+	Mode_transition_control * mtc();
 
 	/**
 	 * Kernel backend of protection domains