Update linux to 3.13.5