[coreboot-gerrit] Change in coreboot[master]: soc/intel/common: timer: Select legacy 8254 timer for TianoCore