core support for Freescale mx31