I updated to RVE BIOS version 3801 last week using the CMOS setup. It only took a few minutes to flash and lots of reboots (2-3 or so). After letting windows boot, and rebooting, I was able to enter the CMOS setup and reset all my settings (select XMP memory profile, enable virtualization, enable power setting, etc). This took about 15 minute to review and set.
Does anyone know why RVE BIOS versions 3801 and 3902 are not available for download on the ASUS website? The latest version for download is 3701.