zynq: gen_zynq_sdcard_img.sh: switch to /bin/sh