[coreboot] Patch merged into coreboot/master: f939696 SB700/SP5100: This configures the HPET clock period.