I don’t think that is the case, given that people have gotten oculink (4i) to work in the other thread.
Obviously, some issue is holding up Josh, and we’re all eager to get our hands on the board, but at this point, the firmware does not seem to be the issue.