Download binary file, ethernet-driver.rst