pipistrello: decrease jtag speed to 10 MHz