This now builds!

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
Add the 8139 driver from Inferno os/manga

Signed-off-by: Ronald G. Minnich <rminnich@google.com>