Try the string M5235BCC-DBUG-SREC in the keyword search field at the upper right of this web page. This provides a link to a page where you can download an updated version for your specific board, in S-record format. If this version is not suitable, then you'll have to enter a service request to obtain a later version.
---Tom