archs38: gen_axs10x_sdcard_img.sh: switch to /bin/sh