# CONFIG_VIRTUALIZATION is not set