i think this has already been asked by someone here.. but can anyone help me? i'm using galaxy mini and i flashed cm10.1 on it.. i haven't tried cm7 yet.. based on the threads i read, cm7.2 is good for gaming.. i want to downgrade cm10.1 to cm7.2.. cm10.1 made my gmini a bit slower and drains my battery fast.. they said i have to overclock it, but it my phone keeps on rebooting.. thanks in advance..