Updating kernel in linux mint 12