Install 3.13.0 kernel headers