Index: head/sys/arm/arm/identcpu-v4.c
===================================================================
--- head/sys/arm/arm/identcpu-v4.c
+++ head/sys/arm/arm/identcpu-v4.c
@@ -294,8 +294,7 @@
 void
 identify_arm_cpu(void)
 {
-	u_int cpuid;
-	u_int8_t ctrl;
+	u_int cpuid, ctrl;
 	int i;
 
 	ctrl = cpu_get_control();