Samsung SCH-R740C kernel source