Fix CONFIG_ETH*ADDR for Ocotea board.