the guys on the other post " my pixi is lighting fast" posted a video with a pixi overclocked to 1 ghz...

It's impossible. What he did was try to install the f105/sr71 kernel (dont recall which one exactly) and it registered as installed on his pixi, however it in no way overclocked his pixi and that was quickly proven in the thread.