Build scripts: Device tree overlay: fix gateware path.

Correct the location of the gateware source code in the script that
generates the device tree overlay for the gateware.