Would I be correct to believe if Core Temp (latest version) is reporting high temps ranging to TJ Max then it's correct, and not a beta bios issue as it supposedly reads directly the DTS? Just double checking before I reseat the heatsink....