Also do minor adjustments while doing this.
Build tested with ./digilent_atlys.py --with-ethernet --build.