savedcmd_drivers/ptp/built-in.a := rm -f drivers/ptp/built-in.a;  printf "drivers/ptp/%s " ptp_clock.o ptp_chardev.o ptp_sysfs.o ptp_vclock.o ptp_kvm_x86.o ptp_kvm_common.o | xargs ar cDPrST drivers/ptp/built-in.a