at91sam3XXX.cfg: Configure JTAG clock to 500 kHz.