chroot-gcc: armv7 cross support; misc tweaks.