imx6_mp_setmaxid
PLATFORMMETHOD(platform_mp_setmaxid, imx6_mp_setmaxid),
void imx6_mp_setmaxid(platform_t);