virt/coco/sev-guest: Double-buffer messages (CVE-2023-53769) | HOL Guard CVE