# CONFIG_REGULATOR_TPS51632 is not set