brcm2708: gen_rpi_sdcard_img.sh: use /bin/sh