Add the 8139 driver from Inferno os/manga