Ok so just make apt-get upgrade, and it also updates the kernel. Not the process server you entered above?   wget -q -O - http://upgrade.armbian.com | bash