10Gb/s Ethernet: what I did to get it working in my home