quoted

Rather than enter the actual TCC offset, I would rather enter the
desired trip
point, and have the driver do the math to convert it to the offset.

Hmmm, a writable trip point? I need to think about this.

I think this is a better idea, and I will export this as a writable
trip point of the x86_pkg_temp_thermal driver later, thanks for the
suggestion.

thanks,
rui