[rtl8139] Add missing #include <string.h>

diff --git a/src/drivers/net/rtl8139.c b/src/drivers/net/rtl8139.c
index ff7de5c67fcac8150fdbc48075efbe16e8f5c886..2dff324cf0dcb879e60777ea9919f077b962c4a6 100644 (file)
--- a/src/drivers/net/rtl8139.c
+++ b/src/drivers/net/rtl8139.c
@@ -69,6 +69,7 @@
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <gpxe/io.h>
 #include <errno.h>
 #include <unistd.h>