RE: [ixp1200] IXP1200-2505 PCI card booting