Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 94c05b89b35e97bd16e44d00f32fdf77dcd0470c)
+++ boot/arch/arm32/Makefile.inc	(revision 81685dd947bc65a804dc5adf2cf68f40b4aaa7fc)
@@ -76,7 +76,6 @@
 		char/atkbd \
 		char/ps2mouse \
+		intctl/icp-ic \
 		platform/icp
-	RD_SRVS_ESSENTIAL += \
-		$(USPACE_PATH)/srv/hw/irc/icp-ic/icp-ic
 endif