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