[coreboot-gerrit] Patch merged into coreboot/master: ce872cb pci: don't load vga option rom before S3 check