[coreboot] Patch set updated for coreboot: 3242e7d make INT[EFGH]# of vt8237 configurable via devicetree