xen versus non-xen lm_sensors oddity

[Tom Horsley]

Here's a weird difference I just noticed between the Xen and
non-xen kernels on FC6: The VCore voltage reported is lower in
non-xen than in xen.

In gkrellm the sensor in the config file is described as:

sensor "VCore" "it8712 at 290/in0" 10000 0 1 0

and the sensors program prints:

it8712-isa-0290
Adapter: ISA adapter
VCore 1:   +1.10 V  (min =  +1.42 V, max =  +1.57 V)   ALARM

The both report 1.10 (by the way - I haven't bothered to
configure the alarm values in the /etc/sensors.conf file, so
pay no attention to the ranges and alarms).

If I boot the Xen kernel, the value shows up as 1.36 volts
most of the time. The 1.36 value appears to be the correct one
because when I'm in the BIOS hardware monitor, it normally
shows 1.36 volts, and when I boot Windows and run the Biostar
monitor program that came with the motherboard, it also shows
1.36 volts.

A weird little oddity. Worth reporting as a bug? (Against
what I wonder?)

This is a Biostar TForce4 U motherboard running an Athlon 64
X2 4400+