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
Fix missing \n in committers-ports.dot while adding myself

Differential Revision:	https://reviews.freebsd.org/D1365
Submitted by:	danfe
Approved by:	bapt(mentor)
Rename pic_ipi_get to pic_ipi_read for intrng.