[SeaBIOS] [PATCH 3/3] Changes related to secondary buses and 64bit regions

[Alexey Korolev]

I hate thunderbird. Will resend the patches tomorrow.

>+        pci_config_writel(bdf, PCI_PREF_BASE_UPPER32, base>>  32);