Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision c501bc4364ecfead182958bc0b7c059b09e5cf4e)
+++ boot/Makefile.common	(revision c310f9b28fce022b97a4f2d6a6cfcba70ee6e090)
@@ -165,4 +165,5 @@
 	$(USPACE_PATH)/app/blkdump/blkdump \
 	$(USPACE_PATH)/app/bnchmark/bnchmark \
+	$(USPACE_PATH)/app/corecfg/corecfg \
 	$(USPACE_PATH)/app/devctl/devctl \
 	$(USPACE_PATH)/app/dltest/dltest \