It appears that "The Coolest" has released coretemp 0.95 today which purports to fix the temp reporting problem with the 4300s.