diff --git a/examples/asymcute_mqttsn/Makefile.ci b/examples/asymcute_mqttsn/Makefile.ci
index 173809e21915..4b9cabb1976b 100644
--- a/examples/asymcute_mqttsn/Makefile.ci
+++ b/examples/asymcute_mqttsn/Makefile.ci
@@ -41,6 +41,7 @@ BOARD_INSUFFICIENT_MEMORY := \
     stk3200 \
     stm32f030f4-demo \
     stm32f0discovery \
+    stm32f7508-dk \
     stm32g0316-disco \
     stm32l0538-disco \
     telosb \
diff --git a/examples/cord_lc/Makefile.ci b/examples/cord_lc/Makefile.ci
index 15141c6c7c99..c4a3094bcf32 100644
--- a/examples/cord_lc/Makefile.ci
+++ b/examples/cord_lc/Makefile.ci
@@ -32,6 +32,7 @@ BOARD_INSUFFICIENT_MEMORY := \
     stk3200 \
     stm32f030f4-demo \
     stm32f0discovery \
+    stm32f7508-dk \
     stm32g0316-disco \
     stm32l0538-disco \
     telosb \
diff --git a/examples/gcoap/Makefile.ci b/examples/gcoap/Makefile.ci
index 45c3ecbfb19d..7090c27c4163 100644
--- a/examples/gcoap/Makefile.ci
+++ b/examples/gcoap/Makefile.ci
@@ -28,6 +28,7 @@ BOARD_INSUFFICIENT_MEMORY := \
     stk3200 \
     stm32f030f4-demo \
     stm32f0discovery \
+    stm32f7508-dk \
     stm32g0316-disco \
     stm32l0538-disco \
     telosb \
diff --git a/sys/Makefile.dep b/sys/Makefile.dep
index 7860bd77e940..48dd3ba4d5e8 100644
--- a/sys/Makefile.dep
+++ b/sys/Makefile.dep
@@ -315,7 +315,7 @@ ifneq (,$(filter shell_commands,$(USEMODULE)))
   endif
 
   ifneq (,$(filter gnrc_icmpv6_echo,$(USEMODULE)))
-    USEMODULE += netutils
+    USEMODULE += netutils xtimer
   endif
 
   ifneq (,$(gnrc_udp_cmd,$(USEMODULE)))
diff --git a/tests/gnrc_rpl/Makefile.ci b/tests/gnrc_rpl/Makefile.ci
index 447b017aa749..3ac60d81ab5f 100644
--- a/tests/gnrc_rpl/Makefile.ci
+++ b/tests/gnrc_rpl/Makefile.ci
@@ -4,9 +4,9 @@ BOARD_INSUFFICIENT_MEMORY := \
     arduino-mega2560 \
     arduino-nano \
     arduino-uno \
+    atmega1284p \
     atmega328p \
     atmega328p-xplained-mini \
-    atmega1284p \
     atxmega-a3bu-xplained \
     bluepill-stm32f030c8 \
     derfmega128 \
@@ -32,6 +32,7 @@ BOARD_INSUFFICIENT_MEMORY := \
     stk3200 \
     stm32f030f4-demo \
     stm32f0discovery \
+    stm32f7508-dk \
     stm32g0316-disco \
     stm32l0538-disco \
     telosb \