I believe this is a proprietary binary (the first32k.bin file) provided by Broadcom.

It is distributed with the express permission of the RaspberryPi foundation.
