# CONFIG_RESET_SCMI is not set
