updated kernel to 3.13.7