diff --git a/configs/Board.mk b/configs/Board.mk
index 13226676b60..af932faa473 100644
--- a/configs/Board.mk
+++ b/configs/Board.mk
@@ -124,6 +124,9 @@ endif
 
 depend: .depend
 
+context: $(EXTRA_CONTEXT_DEPENDENCY)
+	$(EXTRA_CONTEXT)
+
 clean:
 	$(call DELFILE, libboard$(LIBEXT))
 	$(call CLEAN)
diff --git a/configs/Makefile b/configs/Makefile
index 9a04b131bb6..68a5fad87fe 100644
--- a/configs/Makefile
+++ b/configs/Makefile
@@ -57,6 +57,11 @@ endif
 
 DUMMY_KCONFIG = $(TOPDIR)$(DELIM)configs$(DELIM)dummy$(DELIM)Kconfig
 
+# The board configuration should be installed in the arch/ directory
+
+BOARD_DIR = $(TOPDIR)$(DELIM)arch$(DELIM)$(CONFIG_ARCH)$(DELIM)src$(DELIM)board
+BOARD_INSTALLED = $(if $(wildcard $(BOARD_DIR)$(DELIM)Makefile),y,)
+
 # Basic
 
 CONFIG_ASRCS =
@@ -106,6 +111,9 @@ $(DUMMY_KCONFIG): $(BOARD_KCONFIG)
 dirlinks: $(DUMMY_KCONFIG)
 
 context: $(DUMMY_KCONFIG)
+ifeq ($(BOARD_INSTALLED),y)
+	$(Q) $(MAKE) -C $(BOARD_DIR) TOPDIR="$(TOPDIR)" context
+endif
 
 clean_context:
 	$(call DELFILE, $(DUMMY_KCONFIG))
diff --git a/configs/arduino-mega2560/src/Makefile b/configs/arduino-mega2560/src/Makefile
index 1f7743da6f5..7e5911999ee 100644
--- a/configs/arduino-mega2560/src/Makefile
+++ b/configs/arduino-mega2560/src/Makefile
@@ -87,6 +87,8 @@ libboard$(LIBEXT): $(OBJS)
 
 depend: .depend
 
+context:
+
 clean:
 	$(call DELFILE, libboard$(LIBEXT))
 	$(call CLEAN)
diff --git a/configs/skp16c26/src/Makefile b/configs/skp16c26/src/Makefile
index 8b4f1312c69..a17f9134727 100644
--- a/configs/skp16c26/src/Makefile
+++ b/configs/skp16c26/src/Makefile
@@ -65,6 +65,8 @@ libboard$(LIBEXT): $(OBJS)
 
 depend: .depend
 
+context:
+
 clean:
 	$(call DELFILE, libboard$(LIBEXT))
 	$(call CLEAN)