scripts/arm-magic.sh: switch to /bin/sh