I was wondering if certain kernels worked better with certain roms...i noticed that reborn comes with picas kernel but i like xionias kernel for the higher clocking. do the roms work best with the kernel provided? or is there some performace to be gained by changing the kernel ?