Simple scripts for setting up an Arch Linux ARM chroot for Android platforms