What eldk version should I use for a board based on Freescale MPC8275 dual core processor? I see that ELDK 4.2 has ppc_85xxDP. Is that the version I need to use or ELDK 4.1 will do? Regards Matheos