linux: bump default to version 4.9.13
tree3064b96ab6b75a419e82dad63a9f5ac101ae670d
-rw-r--r-- 1198 .defconfig
-rw-r--r-- 125 .gitignore
-rw-r--r-- 220836 CHANGES
-rw-r--r-- 18767 COPYING
-rw-r--r-- 23260 Config.in
-rw-r--r-- 85529 Config.in.legacy
-rw-r--r-- 38544 DEVELOPERS
-rw-r--r-- 40129 Makefile
-rw-r--r-- 2292 Makefile.legacy
-rw-r--r-- 1079 README
drwxr-xr-x - arch
drwxr-xr-x - board
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - docs
drwxr-xr-x - fs
drwxr-xr-x - linux
drwxr-xr-x - package
drwxr-xr-x - support
drwxr-xr-x - system
drwxr-xr-x - toolchain