Change in coreboot[master]: soc/intel/common: add Kconfig to enable/disable the ACPI PM timer

[Michael Niewöhner (Code Review)]

Michael Niewöhner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/45952 )

Change subject: soc/intel/common: add Kconfig to enable/disable the ACPI PM timer
......................................................................

Patch Set 22:

(1 comment)

https://review.coreboot.org/c/coreboot/+/45952/22//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/45952/22//COMMIT_MSG@13 
PS22, Line 13: Also, make the TCO SMI option select ACPI PM timer, since TCO won't work
             : without it.
this turns out to be wrong. I assumed that TCO depends on the hardware PM timer because I wasn't able to trigger a TCO SMI (tested by triggering the intruder). However, I did more tests today and finally found the reason why that SMI wasn't triggered: there's a bug in Linux leading to a soft-lockup when a TCO SMI gets triggered. It works fine before Linux starts.

I'll drop that dependeny and adapt the help texts...