I personally dont have that setup but I doubt you will find a universal bios setup that will work for everyone. My recommendation is to slightly increase your FSB untill it wont remain stable and then increase the voltage a bit untill it comes back to stable and repeat untill you get the desired result. Granted there is no guarantee that you will even make 4.0 ghz, not all chips are made equal.