Copy the "Wrote:" location that your server output during step 3 of Build the Network Driver Binary RPM, and use it to install the binary network driver. For example:
# rpm -Uvh <path>/kernel-module-xilinx_efct-<os_version>-<module_version>.rpm
Note: The network driver is not loaded at this stage.
It is automatically loaded during a subsequent reboot.