Add the following to /etc/pacman.conf, update your package lists and you can easily install the kernel using pacman or pamac.
[archlinuxdroid]
SigLevel = Optional
Server = http://archlinuxdroid.tk/archlinuxdroid/aarch64
But I am not sure if the kernel is so much different to @spikerguy’s last kernel. At least some time ago he wrote that he planned to switch from tobetter’s kernel source to chewitt’s kernel source which above kernel is based upon.
I still have to test @spikerguy’s last kernel myself …