Aviion Av (Class F). CPU-Typ?

I tried to install Informix 7.12 UC5 on a Aviion 3600 (4-Intel-CPU Processors). We received a CD with the Informix Dynamic Server for Aviion AV Models (Class F). But the installation failed because every binary on the CD is a ELF-32 ... M88000 binary ! A took a look at the labels of some older tapes (for M88000 based Aviions) and the only difference is the Class identifier which is (Class D). Have we got the wrong CD or did we order the wrong one? What is the correct Class for a Intel-DG? What Hardware is (Class F) for?. Thankx for your time (and answer?) Erik.