Add tx_provide to virtio eth driver

Signed-off-by: Courtney Darville <courtneydarville94@outlook.com>

drivers/network/virtio/ethernet.c

@@ -295,6 +295,7 @@ static void handle_irq()
         // or TX queue, so we check both.
         rx_return();
         tx_return();
+        tx_provide();
         // We have handled the used buffer notification
         regs->InterruptACK = VIRTIO_MMIO_IRQ_VQUEUE;
     }