[coreboot-gerrit] Change in coreboot[master]: src/soc/intel/braswell/southcluster.c: Config i8254 timer