Verify if the u-boot documentation is FSDG compliant
In files like board/sunxi/README.sunxi64, it mention a boot0 "for completeness" with something that looks like installation instructions. While I didn't really read that file yet, we probably need to read all the documentation to understand which part of it is FSDG compliant and which part is not.
Amlogic documentation probably contains instructions explaining how to install nonfree software too.
We probably need to come up with a system that is very easily maintainable, such as shipping generic documentation and board specific documentation that we read, and removing the rest from the source code.