UNIMAC_MAC_1
uint32_t mac1 = bcmeth_read_4(sc, UNIMAC_MAC_1);
bcmeth_write_4(sc, UNIMAC_MAC_1, (uint32_t)(macstnaddr >> 32));