upgrading kernel to 3.8.13 and including config file