diff --git a/sys/arm/arm/debug_monitor.c b/sys/arm/arm/debug_monitor.c
index e216e347597..eaf88e9d1f0 100644
--- a/sys/arm/arm/debug_monitor.c
+++ b/sys/arm/arm/debug_monitor.c
@@ -845,8 +845,10 @@ dbg_arch_supported(void)
 {
 
 	switch (dbg_model) {
+#ifdef not_yet
 	case ID_DFR0_CP_DEBUG_M_V6:
 	case ID_DFR0_CP_DEBUG_M_V6_1:
+#endif
 	case ID_DFR0_CP_DEBUG_M_V7:
 	case ID_DFR0_CP_DEBUG_M_V7_1:	/* fall through */
 		return (TRUE);