I haven't verified this in detail, but for their earlier SoCs, the docs and the HDL were all public, whereas the bootrom, bizarrely, was not. I don't think they were ever offering the most "freedom" they could but it did seem like a reasonable choice better than many alternatives