There should be a firmware update button somewhere in the file manager and I believe you need those 2 files to get it updated.

The site's full of how to upgrade links but all of them are dead.

That or the high-speed driver is lost forever in the depth of the internet. :/