savedcmd_drivers/virt/coco/built-in.a := rm -f drivers/virt/coco/built-in.a;  ar cDPrST drivers/virt/coco/built-in.a