soc/intel/xeon_sp/Kconfig: set up HPET_MIN_TICKS

Signed-off-by: Tim Chu <Tim.Chu@quantatw.com>
Change-Id: I3256c3c6a4ea331efae00d78192355a1fd78d6d2
Reviewed-on: https://review.coreboot.org/c/coreboot/+/71140
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: David Hendricks <david.hendricks@gmail.com>
diff --git a/src/soc/intel/xeon_sp/Kconfig b/src/soc/intel/xeon_sp/Kconfig
index 784fd2e..1686479 100644
--- a/src/soc/intel/xeon_sp/Kconfig
+++ b/src/soc/intel/xeon_sp/Kconfig
@@ -120,6 +120,10 @@
 	hex
 	default 0x80000
 
+config HPET_MIN_TICKS
+	hex
+	default 0x80
+
 config SOC_INTEL_XEON_RAS
 	bool
 	select SOC_ACPI_HEST