# CONFIG_POWER_RESET_GPIO is not set