I would need to provide an external clock to replace the 12MHz crystal oscillator with a 10MHz external signal I have seen so far that the pins for the external clock input are PTA18 and PTA19  but those don't seem to have any connection to the board headers