[coreboot-gerrit] Change in coreboot[master]: soc/intel/common/timer: Fix cosmetic errors as per CB:35148 review