Thanks, but if you read what I posted, you'll see that I found out they wouldn't work for me because I needed to do a crossflash.

rpc mentions to read the install file, but there is none for those firmware downloads.