savedcmd_drivers/virt/coco/efi_secret/modules.order := {   echo drivers/virt/coco/efi_secret/efi_secret.o; :; } > drivers/virt/coco/efi_secret/modules.order