remove linux-3.9