gmii_atlys.ucf: RXCLK is 125MHz