ARM Linux kernel 3.9.6