Hi SJ,
/bootable/bootloader/uboot-imx/drivers/misc/imx_pwm.c is PWM driver in u-boot, and on how to use it , example code is in mx6q_sabresd.c, please find " imx_pwm_config,imx_pwm_enable" in this file and research source code.
In addition, if you want to use other differenct PADs for your PWM signal, you just need to change multiplexing code.
Hope these information can help you !!
Regards,
Weidong