This was captured under a heavy load. The max for the average is higher than the Tctl (what is supposed to be the hottest sensor on the die). Albeit, it's by a degree, but still. Should I be concerned?