# CONFIG_OPAL_CORE is not set