Update: It seems that IOCrest recently made a Dual Gbit Ethernet card based on RTL8111 for Mini-PCIe (I don’t know the postfix letter, and I can not promise this card will work).
Since Linux is on the compatibility list, I’m quite convinced that the source code for the driver is available.
