make_device_config.sh: Emit dependency file to directory where included