Re: [PATCH 7/7] NEWS: Document virtio options for memory models