Default Highest overclock kernel

Running @ 1.646ghz 2 separate ROMs stable however Ive heard the a500 can hit 1.8ghz? Is this true and if so which kernel would I flash for ICS or JB