Moving to 3.13 kernel