# CONFIG_VIRTIO_HARDEN_NOTIFICATION is not set