Jellybean kernel source SGH-I927