rpm: switch to version 4.13.0
treec25f24955710b745c72085504e923208a9beaba3
-rw-r--r-- 1198 .defconfig
-rw-r--r-- 125 .gitignore
-rw-r--r-- 212641 CHANGES
-rw-r--r-- 18767 COPYING
-rw-r--r-- 22883 Config.in
-rw-r--r-- 82868 Config.in.legacy
-rw-r--r-- 37982 DEVELOPERS
-rw-r--r-- 39945 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