Samsung Opensource based kernel for Android 4.3 on Samsung SGH-I317M