[coreboot] Patch merged into coreboot/master: 1b785c7 Make Geode GX2 VGA setup work.