smdk4412 source based aosp kernel sgh-i777