[coreboot-gerrit] Patch merged into coreboot/master: fe8290d Fix VGA option rom INT15 handler