I don't think it fixes the EDC bug. But, if you want a workaround, you can set the EDC to 0 in BIOS and use pbo2tuner to set the EDC manually....