Using UInt64 overload of evaluateInteger in ACPISensors = KP

[RehabMan]

The code to evaluate ACPI methods in ACPISensors::getSensorValue is using the UInt64 version of IOACPIPlatform::evaluateInteger. This appears to cause a KP, where using the UInt32 version (as does slice's branch) does not.

There is also one more case in PTIDSensors where this method is used. My DSDT doesn't have the PTID, so I didn't test that, although changing it might be a good idea as well...

My branch: https://github.com/RehabMan/HWSensors

[RehabMan]

I guess the PTID is something in ACPI namespace added by the OS, in this case OS X (still learning this stuff). So I'm not sure of the right overload method call there!? Probably either works since the result fits into 32-bits.

[RehabMan]

Thanks for fixing this.