I have activated the 4th core using DFI JR 790GX board. The only issue is that lastest official BIOS will not work, have to flash to lastest beta BIOS to get the 4th core up.

Running 3.4GHz at 1.35V.