[coreboot-gerrit] [XS] Change in coreboot[master]: drivers/pc80/pc/i8254.c: Initialize timer 1 in mode 2