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