[coreboot-gerrit] New patch to review for coreboot: e97168d chromeec: allow override of i8042 interrupt