Had a similar issue and just pointed codex at my laptop and it got everything working.

Same. By the time I got back it had even upstreamed a few device drivers to mainline Linux, all on its own.

how'd you do that when wifi and USB wasn't working?