Linux kernel 3.9 for TE0720 module