Switch i.MX to use the platform code to help with a single Freescale kernel.

Differential Revision:	https://reviews.freebsd.org/D1349
Reviewed by:	ian, rpaulo