@lightweight That looks like upstreaming work, ideally ending up with Linux-libre booting rather than having to apply patchsets of questionable quality and licensing.

Even so, the board doesn't look very promising, as it doesn't appear to work without proprietary RAMinit and potentially a bunch of proprietary, loadable firmware?