diff --git a/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp b/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp
index 1d2d9189..aa3f3d50 100644
--- a/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp
+++ b/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
-     * U-Boot will clock the board at 700 MHz leading to a 350 MHz private timer
+     * This is only valid for Panda A6, as we run it at our offices. For A6
+     * U-Boot will clock the board at 800 MHz leading to a 400 MHz private timer
      * tick.
      */
-    return 349999;
+    return 399999;
   }
 };