[coreboot-gerrit] Change in coreboot[master]: soc/intel/{common,skl}: set ACPI_FADT_PLATFORM_CLOCK based on Kconfig

[Michael Niewöhner (Code Review)]

Attention is currently required from:  Felix Singer, Lance Zhao, Furquan Shaikh, Mariusz Szafrański, Tim Wawrzynczak, Paul Menzel, Suresh Bellampalli, Vanessa Eusebio, Subrata Banik, Angel Pons, Michal Motyl, Patrick Rudolph.
Michael Niewöhner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/57934 )

Change subject: soc/intel/{common,skl}: set ACPI_FADT_PLATFORM_CLOCK based on Kconfig
......................................................................

Patch Set 26:

(1 comment)

File src/soc/intel/common/block/acpi/acpi.c:

https://review.coreboot.org/c/coreboot/+/57934/comment/e68c0ff6_c24623c0 
PS26, Line 155: 	if (CONFIG(USE_PM_ACPI_TIMER) || !CONFIG(PM_ACPI_TIMER_OPTIONAL))
I need to think about this again...