System shuts down upon attempting to launch RAM at 3200 MHz
Actually, it turns out I had them in the secondary channels (A1, B1) rather than the channels (A2, B2).