Linux kernel for Vodafone Smart 4G (Coolpad 8860U)