Makefile: add dependency on scripts/make_device_config.sh