[ixp1200] How do I get IXP EB's ethernet address?