# CONFIG_RESET_CONTROLLER is not set