The config.tcl changes described above have been made to the macros in the caravel_skywater130_decred_miner project. Everything was rebuilt and pushed last night. Please check it out and let me know if this resolves the problems found.

Thx. Will do.