EXC-4000VME/xx, EXC-4000VXI/xx cards & M4K1553Px(S) module