[ixp1200] Question on Intel-supplied firmware versions