# CONFIG_PWM_MICROCHIP_CORE is not set
