Hey guys , how would i use these files to update the bios on the R10?i assume they have to be reverted to its original .rcv format correct?