Galaxy S4 AOSP kernel