Index: sys/arm/arm/generic_timer.c
===================================================================
--- sys/arm/arm/generic_timer.c
+++ sys/arm/arm/generic_timer.c
@@ -214,7 +214,8 @@
 tmr_setup_user_access(void *arg __unused)
 {
 
-	smp_rendezvous(NULL, setup_user_access, NULL, NULL);
+	if (arm_tmr_sc)
+		smp_rendezvous(NULL, setup_user_access, NULL, NULL);
 }
 SYSINIT(tmr_ua, SI_SUB_SMP, SI_ORDER_SECOND, tmr_setup_user_access, NULL);