[SeaBIOS] [PATCH] move pcibios mem base back to 0xf0000000

[Marcelo Tosatti]

Commit d9104ffe085bffdd35196b70672883cc6af8808f moved pcibios mem base
to 0xe0000000, which conflicts with the address of the VBE mapping.

Move it back to 0xf0000000.

Fixes http://sourceforge.net/tracker/?func=detail&atid=893831&aid=2936094&...

Signed-off-by: Marcelo Tosatti

diff --git a/src/pciinit.c b/src/pciinit.c
index a6070e7..c849a4c 100644
--- a/src/pciinit.c
+++ b/src/pciinit.c
@@ -194,7 +194,7 @@ pci_setup(void)
     dprintf(3, "pci setup\n");

pci_bios_io_addr = 0xc000;
-    pci_bios_mem_addr = BUILD_MAX_HIGHMEM;
+    pci_bios_mem_addr = 0xf0000000;

int bdf, max;
     foreachpci(bdf, max) {