Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ boot/arch/arm32/Makefile.inc	(revision 99297424ce4eedf8e36173e2da9cb5d698b9a02b)
@@ -35,5 +35,7 @@
 PAGE_SIZE = 4096
 
-RD_SRVS += \
+RD_SRVS_ESSENTIAL +=
+
+RD_SRVS_NON_ESSENTIAL += \
 	$(USPACE_PATH)/srv/bd/gxe_bd/gxe_bd