Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/generic/src/mm/km.c	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
@@ -37,8 +37,12 @@
 
 #include <mm/km.h>
+#include <arch/mm/km.h>
+#include <config.h>
 
 /** Architecture dependent setup of identity-mapped kernel memory. */
 void km_identity_init(void)
 {
+	km_identity_arch_init();
+	config.identity_configured = true;
 }
 
@@ -46,4 +50,6 @@
 void km_non_identity_init(void)
 {
+	km_non_identity_arch_init();
+	config.non_identity_configured = true;
 }