What should the tj-max be set at for a core 2 duo 6420?