Files: /kernel/coco/sev-guest.html