No they haven't, there was never any consumer hardware shipped that routed anything onto HDMI Ethernet.