Kernel source for ZTE 8x30 devices