I have installed arch linux using what I assumed was the latest kernel at http://archlinuxarm.org/os/ArchLinuxARM-am33x-latest.tar.gzBut this only installs 3.8.13 and I understand that there are users who are using much newer kernels i.e. 3.16So how do I go about getting the newer kernel as pacman -Syu does not upgrade the kernel and the latest package only appears to use 3.8 ?This is the kernel info:uname -aLinux alarm 3.8.13-35-ARCH #1 SMP Thu Sep 25 20:15:28 MDT 2014 armv7l GNU/Linux
latest arch linux on beaglebone black
kernel;arch linux