# CONFIG_PWM_OMAP_DMTIMER is not set