void dtblint_imx_pinmux(void);