# CONFIG_PWM_MEDIATEK is not set
