I'm running synergy Rom what kernel would be the best to run for overall use and battery life the Rom runs pretty smooth I'm currently on the hdmi kernel and don't really use it much so if anyone could point me in the right direction it would be greatly appreciated. Thanks