Delete linux-3.8.13-config