archlinux PKGBUILD and config files for the sunxi linux kernel for the cubietruck