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