Source kernel for GT-S7500