[XS] Change in coreboot[main]: soc/intel/braswell/Kconfig: Set HPET_MIN_TICKS

[Matt DeVillier (Code Review)]

Matt DeVillier has submitted this change. ( https://review.coreboot.org/c/coreboot/+/78744?usp=email )

Change subject: soc/intel/braswell/Kconfig: Set HPET_MIN_TICKS
......................................................................

soc/intel/braswell/Kconfig: Set HPET_MIN_TICKS

Commit 2bc9cee0f70f ("Braswell: Update the ACPI tables") switched the
SoC from using its own HPET generation code to the common x86 code, but
along the way the min_tick value got lost. Restore the original value
prior to the above commit, which is now set via a Kconfig override.

TEST=build/boot google/cyan (edgar), verify min_tick value in HPET
ACPI table is correct.

Change-Id: I2633e7cd0c3d74c1554ae8c1f2bb6387fd6dde2b
Signed-off-by: Matt DeVillier 
Reviewed-on: https://review.coreboot.org/c/coreboot/+/78744
Reviewed-by: Martin L Roth 
Reviewed-by: Nico Huber 
Tested-by: build bot (Jenkins) 
---
M src/soc/intel/braswell/Kconfig
1 file changed, 3 insertions(+), 0 deletions(-)

Approvals:
  Martin L Roth: Looks good to me, approved
  build bot (Jenkins): Verified
  Nico Huber: Looks good to me, but someone else must approve

diff --git a/src/soc/intel/braswell/Kconfig b/src/soc/intel/braswell/Kconfig
index 5aeb9e5..c3b93d2 100644
--- a/src/soc/intel/braswell/Kconfig
+++ b/src/soc/intel/braswell/Kconfig
@@ -115,6 +115,9 @@
     Enable this to disable the HPET support
     Solves the Linux MP-BIOS bug timer not connected.

+config HPET_MIN_TICKS
+	default 0x80
+
 config USE_GOOGLE_FSP
    bool
    help