[ixp1200] Problem booting VxWorks. Using ENP2505 Board.