So Brama do I understand correctly that if I am using Rampage III Extreme BIOS 1301 then the Marvell firmware is apart of BIOS 1301 and the only way to change the Marvell firmware is for Asus to update BIOS 1301 and release it as a new BIOS.