They were made in the UK, so they are copyrighted. On the other hand they are at least implicitly licensed for redistribution. I have not seen any indication that Broadcom or the foundation are limiting distribution.
That devicetree structure looks useful. Bare metal code could use that to find where the various devices live, even if you did not make as much use of it as a general purpose OS like Linux would.