[coreboot-gerrit] [S] Change in coreboot[master]: soc/intel/xeon_sp/Kconfig: set up HPET_MIN_TICKS