Initial but not yet functional PCI support. Reviewed by: phk Submitted by: Luigi Rizzo <luigi@labinfo.iet.unipi.it>
I have put it here, because I belive we could share some code among the various kinds of boot-code, whenever we get the time to look at it. Submitted by: Martin Renters