# CONFIG_ARM_SCMI_PROTOCOL is not set
