I found an interesting post on sunbug.net that claims the x51v can be overclocked to 715Mhz.
Click here.
Anton Tomov
CEO, Wizcode LLC http://www.wizcode.com