at91: gen_at91_sdcard_img.sh: switch to /bin/sh