What do you need at least kernel version for Android 4.x porting?