> I wasn't aware of that feature of the PA6T

It also has 10GbE, btw.

> but they could have incorporated a separate NIC.

Yes, in that case they would surely have used an OS4-supported GbE NIC like the RTL8169.