Alan, could you try to boot with "pci=use_crs" option? This should be effective for all recent broken kernels. The very similar bug report on bugzilla.kernel.org was worked around with this. https://bugzilla.kernel.org/show_bug.cgi?id=99221