[MIPS] Sibyte: Fix names of the clockevent devices.

Signed-off-by: NRalf Baechle <ralf@linux-mips.org>

arch/mips/sibyte/bcm1480/time.c

@@ -116,7 +116,7 @@ void __cpuinit sb1480_clockevent_init(void)
 
 	BUG_ON(cpu > 3);	/* Only have 4 general purpose timers */
 
-	sprintf(name, "bcm1480-counter %d", cpu);
+	sprintf(name, "bcm1480-counter-%d", cpu);
 	cd->name		= name;
 	cd->features		= CLOCK_EVT_FEAT_PERIODIC |
 				  CLOCK_EVT_FEAT_ONESHOT;

arch/mips/sibyte/sb1250/time.c

@@ -134,7 +134,7 @@ void __cpuinit sb1250_clockevent_init(void)
 	/* Only have 4 general purpose timers, and we use last one as hpt */
 	BUG_ON(cpu > 2);
 
-	sprintf(name, "bcm1480-counter %d", cpu);
+	sprintf(name, "sb1250-counter-%d", cpu);
 	cd->name		= name;
 	cd->features		= CLOCK_EVT_FEAT_PERIODIC |
 				  CLOCK_EVT_FEAT_ONESHOT;