[SeaBIOS] [BUG] [Seabios] PCI 64bit BARs on Win2008 - unable to start the device. (ACPI lacks the _DSM method)

[Alexey Korolev]

>>> 2. Get a range toward the upper end of the memory, around 1<<40
>>>
>> Yes. This solution works great. And this is very simple as well. Just
>> wondering if it will be good as a complete solution?
> I would have tried this first too ;)
>
> Care to share the patches so we can review&  merge them?
No worries. Just need to complete and test the code and I'll post RFC 
patches shortly.