O clock de referência correto para o clock Ethernet HPS é l4_mp_clk.
O Mapa de endereços do HPS V, emac->gmacgrp->GMII_Address->cr incorretamente afirma que a seleção da faixa de clock da CSR determina a frequência do clock MDC de acordo com a frequência l3_sp_clk.
Esse problema é resolvido a partir da versão 15.1 do mapa de endereços do HPS.