Properly detect muliple PCI root brings in L4Re's io process

[Stefan Fritsch]

Hi Alex,

On Mon, 6 Jun 2011, Alexander Warg wrote:
> We already figured this out, and have a fix for that, unfortunately the
> patch is not yet in the public repository.

it would be nice if you could update the public repository more often. 
Maybe a nightly cronjob that does the export automatically?

Cheers,
Stefan