just wanted to add, this machine also has a Realtek RTL8139/810x Ethernet cable NIC, which also is not working.

To me it's looking like I need some Realtek drivers loaded?