# CONFIG_POWER_RESET is not set