# CONFIG_TWL6040_CORE is not set