[coreboot] 64bit PCI support in coreboot and CRS methods

[Alexey Korolev]

Hi,
Sorry I'm not familiar with coreboot, so I probably asking obvious things. 

I have questions about the status of 64bit PCI support in coreboot.
Does coreboot support 64bit PCI mem resources which occupy memory over 4GB?
If so, has coreboot been tested on Win2003 or WinXp when 64bit PCI devices are present and 64bit PCI mem resources occupy address range over 4GB?

I ask these questions because there is a BSOD issue on Win2003 with 64bit PCI mem resources in Seabios. 
The issue is caused by CRS method in ACPI dsdt code of seabios. Unfortunately I don't know how to fix this bug. Probably you can suggest something if there is no such a problem in coreboot. I would very much appreciate any ideas!

Thanks,
Alexey