[coreboot] New patch to review for coreboot: ecbe2b0 make INT[EFGH]# of vt8237 configurable via devicetree