Update linux headers

Linux headers installed by system_kernel are now 3.13.0.40