[ixp1200] RE: booting over PCI (ENP boards)...