nexys4 ethernet hackery (work in progress)