Kernel source for the ZTE V55, V11A, and V71A