fix gpio pin number in reboot.sh