diff --git a/base-hw/src/core/kernel/core_interface.h b/base-hw/src/core/kernel/core_interface.h
index 708f735529..db9d2477b0 100644
--- a/base-hw/src/core/kernel/core_interface.h
+++ b/base-hw/src/core/kernel/core_interface.h
@@ -19,7 +19,7 @@
 
 namespace Kernel
 {
-	addr_t   mode_transition_virt_base();
+	addr_t   mode_transition_base();
 	size_t   mode_transition_size();
 	size_t   thread_size();
 	size_t   pd_size();
diff --git a/base-hw/src/core/kernel/kernel.cc b/base-hw/src/core/kernel/kernel.cc
index ee823f9ffd..76b0ecbd3d 100644
--- a/base-hw/src/core/kernel/kernel.cc
+++ b/base-hw/src/core/kernel/kernel.cc
@@ -128,8 +128,8 @@ namespace Kernel
 	/**
 	 * Get attributes of the mode transition region in every PD
 	 */
-	addr_t mode_transition_virt_base() { return mtc()->VIRT_BASE; }
-	size_t mode_transition_size()      { return mtc()->SIZE; }
+	addr_t mode_transition_base() { return mtc()->VIRT_BASE; }
+	size_t mode_transition_size() { return mtc()->SIZE; }
 
 	/**
 	 * Get attributes of the kernel objects
diff --git a/base-hw/src/core/platform.cc b/base-hw/src/core/platform.cc
index 664a2ca650..71112075db 100644
--- a/base-hw/src/core/platform.cc
+++ b/base-hw/src/core/platform.cc
@@ -46,12 +46,6 @@ extern int       _boot_modules_end;
  */
 typedef Native_region * (*Region_pool)(unsigned const);
 
-namespace Kernel
-{
-	addr_t mode_transition_virt_base();
-	size_t mode_transition_size();
-}
-
 
 /**
  * Helper to initialise allocators through include/exclude region lists
@@ -95,7 +89,7 @@ Native_region * Platform::_core_only_ram_regions(unsigned const i)
 		{ 0, 1 },
 
 		/* mode transition region */
-		{ Kernel::mode_transition_virt_base(), Kernel::mode_transition_size() },
+		{ Kernel::mode_transition_base(), Kernel::mode_transition_size() },
 
 		/* core image */
 		{ (addr_t)&_prog_img_beg,