# CONFIG_POWER_RESET_GPIO_RESTART is not set