Get usbnet Driver for Cyclone V Dev Kit

I am trying to connect a Lego robot to my Cyclone V SoC using usb ethernet but the board does not have the proper drivers... I believe I need `cdc_ether` and `usbnet` but I'm having trouble finding the source, or compiled versions (for the stock 3.13.0 kernel shipped with the board)

Any tips on how to get these onto the board so I can use my Lego robot without the PC in the loop?