I believe their latest kernel has the overclocking option built in, but I do not know how high it allows you to go. The kernel that Pete uses in the Bugless Beast (Is it Taz's?) definitely allows high speeds, if you're interested in trying that. You don't ever really need to use ADB for any of this stuff.