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.
Hello  Felix Singer, build bot (Jenkins), Furquan Shaikh, Mariusz Szafrański, Paul Menzel, Angel Pons, Subrata Banik, Patrick Rudolph, Lance Zhao, Nico Huber, Tim Wawrzynczak, Suresh Bellampalli, Vanessa Eusebio, Michal Motyl,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/57934

to look at the new patch set (#20).

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

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

uCode PM ACPI Timer emulation does not support `TMR_STS`. Any OS or
software relying on the overflow flag will not work properly. The FADT
contains a flag `ACPI_FADT_PLATFORM_CLOCK` telling the OSPM if a
specification-compliant PM Timer is present or not. Only set the flag,
when the hardware PM Timer is enabled.

Change-Id: Id2e5d69b5515c21e6ce922dab2cb88b494c65ebe
Signed-off-by: Michael Niewöhner 
---
M src/soc/intel/common/block/acpi/acpi.c
M src/soc/intel/skylake/fadt.c
2 files changed, 8 insertions(+), 4 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/34/57934/20