# CONFIG_OPAL_CORE is not set
