I use this kernel since version 7 (now version is 9 and developing was stopped) and I think that this is the best kernel for this device, long battery life and good feature. Before I used this kernel on stock rom then I decided to try cyanogenmod (I've started with 10.1.2, so no long time ago)...