[coreboot-gerrit] New patch to review for coreboot: soc/intel/skylake: add option to statically clock gate 8254 timer