The pin is hard to get to on the chip. If you could get to it, you could output 16 MHz. Failing that you can use a timer to output 8 MHz (that's toggling the pin ever 62.5 nS which gives you 8 MHz). There was a recent thread with example code for doing that.