# CONFIG_EFI_COCO_SECRET is not set
