Re: [openfirmware] PCI devices: IRQ table and vendor/device ID