DDR4 2400 is the verified RAM speed for your system. DDR4 3200 is set to 2133 by default unless XMP is enabled in the BIOS. You will continue to run at 2133 if XMP is not listed in the settings and a new BIOS does not add that extra parameter.