Updating kernel in linux mint