pipistrello: sys_clk 83 -> 75 MHz

This should close #341 once migen generates stable output.

Author: jordens

artiq/gateware/targets/pipistrello.py

@@ -147,6 +147,7 @@ def __init__(self, cpu_type="or1k", **kwargs):
                          l2_size=64*1024,
                          with_timer=False,
                          ident=artiq_version,
+                         clk_freq=75*1000*1000,
                          **kwargs)
         AMPSoC.__init__(self)