[coreboot-gerrit] Patch set updated for coreboot: 8b30c9c Consolidate intel vga int15 hooks