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