I have found one file "Rampage-IV-Extreme-ASUS-4901.bin" from an Asiatic website, and compared with the one from motherboard, it is very similar.
Anybody knows if the embedded controller is also programmable?
Edit post in order to clarify the poin 2 of the user manual "USB BIOS Flashback":
"2. Extract and rename the BIOS image file to R4E.ROM"
R4E.ROM didn't work for me, but R4E.cap, did works, as you can see in the hexedit of dump file:
Вложение:
ScreenShot 309.jpg