Hi,
Ok Here are logs the faulty device is: 00:05.0. In the first case the BAR1 size is 512MB and it fails in Windows (Linux is fine, the kernel enumerates the bus and assigns the resource above 4GB), In the second case the BAR1 size is 256M and works fine.
=== PCI new allocation pass #1 === PCI: check devices bus 0
Hmm, with 512 MB seabios should have paniced here with:
PCI: out of address space
PCI: map device bus 0, bfd 0x28 bar 0, addr febe0000, size 10000 [mem] bar 1, addr 0, size 20000000 [mem]
Somehow seabios didn't recognise the bar correctly it seems (both 512 and 256 MB cases look the same). For the 256 MB case seabios should have mapped the bar @ 0xe0000000.
cheers, Gerd