Kernel source for the Samsung Galaxy Music GT-S6010/L/12