Zigbee - TI CC2531 firmware question

I think someone posted some hex files somewhere in the following thread.