[ixp1200] Problem booting the IXP1200 in "BootMgr" prompt