Issues such as https://github.com/oxidecomputer/hardware-cosmo/issues/691 caused FPGA pinouts to change. This issue tracks the need to do this.