[coreboot] Patch merged into coreboot/master: ed7b52d haswell: remove CONFIG_GFXUMA