[SeaBIOS] Geode vga pci code

[Nils]

Hi Kevin,
You have been busy with patches, nice! :)

You wrote:

>I noticed that the Geode VGA code seems to be doing manual PCI reads -
>which is kinda odd.  Does the patch below work for you?
>
>You'll need to register the rom in cbfs as "pci100b,0030.rom", you'll
>need to make sure coreboot is enabling the vga memory ranges, and
>you'll need to make sure out/autoconf.h really has CONFIG_VGA_DID/VID
>defined corectly - but otherwise it should work.

I tried to compile your patch but it gave the following error:
  Linking out/vgarom.o
out/vgalayout16.o: In function `vp_setup':
/home/nils/seabios/seabios_test4/vgasrc/geodevga.c:267: undefined
reference to `pci_config_readl'
out/vgalayout16.o: In function `dc_setup':
/home/nils/seabios/seabios_test4/vgasrc/geodevga.c:235: undefined
reference to `pci_config_readl'
make: *** [out/vgarom.o] Error 1

I don't have more time to investigate this further at the moment.
(I did the #include "pci.h")

Thanks, Nils.