armbian-config kernel source mismatch

[Roland G]

I downloaded the kernel source and kernel headers on a rk3288 rockchip (tinkerboardS) and noticed there was a mismatch between kernel version, armbian release and chipset (rockchip64) - see below.

 

root@tinkerboard:~# uname -a
Linux tinkerboard 4.4.174-rockchip #7 SMP Sun Feb 10 11:57:26 CET 2019 armv7l armv7l armv7l GNU/Linux

root@tinkerboard:~# cat /etc/armbian-release
# PLEASE DO NOT EDIT THIS FILE
BOARD=tinkerboard
BOARD_NAME="Tinkerboard"
BOARDFAMILY=rockchip
VERSION=5.75
LINUXFAMILY=rockchip
BRANCH=default
ARCH=arm
IMAGE_TYPE=stable
BOARD_TYPE=conf
INITRD_ARCH=arm
KERNEL_IMAGE_TYPE=zImage
 

root@tinkerboard:/usr/src# ls *
linux-rockchip64-default_4.4.178_5.85_config.xz  linux-source-4.4.178-rockchip64.tar.xz