foc: adjust panda timer to version A6

A6 runs at 800 not 700 MHz (as the ES2 does) when bootstrapped by U-boot

(thanks to mstein)

kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp

@@ -7,10 +7,10 @@ private:
   static Mword interval()
   {
     /*
-     * This is only valid for Panda ES2, as we run it at our offices. For ES2
+     * This is only valid for Panda A6, as we run it at our offices. For A6
-     * U-Boot will clock the board at 700 MHz leading to a 350 MHz private timer
+     * U-Boot will clock the board at 800 MHz leading to a 400 MHz private timer
      * tick.
      */
-    return 349999;
+    return 399999;
   }
 };