gcc: armv7 support; misc tweaks.