[coreboot] [PATCH] kconfig: Allow per-board VGA BIOS file name and PCI ID defaults

[Uwe Hermann]

See patch.

Build- and boot-tested on VIA pc2500e, build-tested on GIGABYTE
GA-M57SLI-S4 to make sure that boards which don't override these options
continue to build.

Uwe.