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