Index: sys/arm/arm/cpuinfo.c
===================================================================
--- sys/arm/arm/cpuinfo.c
+++ sys/arm/arm/cpuinfo.c
@@ -63,12 +63,12 @@
  */
 static uint32_t cpu_quirks_actlr_mask;
 SYSCTL_INT(_hw_cpu_quirks, OID_AUTO, actlr_mask,
-    CTLFLAG_RDTUN | CTLFLAG_NOFETCH, &cpu_quirks_actlr_mask, 0,
+    CTLFLAG_RDTUN, &cpu_quirks_actlr_mask, 0,
     "Bits to be masked in ACTLR");
 
 static uint32_t cpu_quirks_actlr_set;
 SYSCTL_INT(_hw_cpu_quirks, OID_AUTO, actlr_set,
-    CTLFLAG_RDTUN | CTLFLAG_NOFETCH, &cpu_quirks_actlr_set, 0,
+    CTLFLAG_RDTUN, &cpu_quirks_actlr_set, 0,
     "Bits to be set in ACTLR");