use a real v3.13.6's kernel config, not just modify the version number from previous