[coreboot] Patch merged into coreboot/master: 19c16ed Simplify VGA card discovery