Loading oCUK Overclock through BIOS

[T4RG4]

The BIOS allows me to select some kind of performance setting as well as a fail safe. Would the OcUK overclock (bought a Titan) be the performance settings or is there another way to bring it back into play?

 

[T4RG4]

I've been playing around with the BIOS trying to solve a RAID issue, and I believe I'm now back to running at stock speed. I'd like to just run with the OcUK settings rather than overclock myself, but have no idea how to bring these back into operation.