Hi! I have one question: What kernel should I use for overclocking? Sent from my GT-I9300 using xda premium