/drivers/virt/coco/efi