Linux kernel based on 3.13.x