# CONFIG_REGULATOR_TPS6507X is not set