Kernel source for the ZTE V55