# CONFIG_REGULATOR_STM32_BOOSTER is not set