I am out of town for the moment so I can't test the new bios yet.
The setting is VDDNB and I don't think I have a CPU VDDA either but I cannot check now. Hardwarecanucks are running an older bios (0401) so there may be some changes...

BTW does your ripjaws work with the new bios in other dividers except 400?