Does anyone know a Raspberry Pi Image supporting frequencies of 1000+?

Currently I run Hashra Controla, which lets me select core frequency up to 900. Sure,
I can ssh and just download&compile a suitable version of cgminer, but maybe it's not necessary
to reinvent the wheel..