Pic32mx.cfg: Change system clock to 8Mhz after reset-init.