updated to linux 3.13.7