Fix PWM prescaler for servos_direct to match timer0 for now

sw/airborne/arm7/servos_direct_hw.c

@@ -53,6 +53,10 @@ void actuators_init ( void ) {
   /* set servo refresh rate */
   PWMMR0 = SERVOS_PERIOD;
 
+  /* FIXME: For now, this prescaler needs to match the TIMER0 prescaler, as the
+  higher level code treats them the same */
+  PWMPR = 1;
+
   /* enable all 6 PWM outputs in single edge mode*/
   PWMPCR = 0
 #if defined PWM_SERVO_0

sw/airborne/csc/csc_servos.c

@@ -6,7 +6,7 @@
 #include "servos_direct_hw.h"
 
 #define CSC_SERVOS_NB 4
-#define SERVOS_PERIOD (2 * SYS_TICS_OF_SEC((1./250.))); /* 250 Hz */
+#define SERVOS_PERIOD (SYS_TICS_OF_SEC((1./250.))); /* 250 Hz */
 
 void csc_servos_init(void)
 {