How to overclock Android: a guide to using kernels