Use the 81390too Linux kernel driver. Very popular chip for cards, based on its cheapness (it offloads a load of processing to the host system - this was a problem when people owned 386s but isn't noticable any more).
No page links to 8139.
lib/main.php:944: Notice: PageInfo: Cannot find action page