There are bugs in resource allocation on 64-bit platforms. For details see attached postings to axp-list and in particular the third one with a proper fix
Created attachment 11680 [details] messages and patches describing PCI resource allocation problem