Replying to "Guest UEFI Secure Boot on XCP-ng"