savedcmd_drivers/vfio/built-in.a := rm -f drivers/vfio/built-in.a;  printf "drivers/vfio/%s " vfio_main.o iova_bitmap.o group.o container.o vfio_iommu_type1.o | xargs ar cDPrST drivers/vfio/built-in.a