Re: [SeaBIOS] [PATCH] virtio: clean up memory barrier usage