txx9_ethaddr_init
void txx9_ethaddr_init(unsigned int id, unsigned char *ethaddr);
txx9_ethaddr_init(TXX9_IRQ_BASE + TX4938_IR_ETH0, addr0);
txx9_ethaddr_init(TXX9_IRQ_BASE + TX4938_IR_ETH1, addr1);