savedcmd_drivers/platform/wmi/built-in.a := rm -f drivers/platform/wmi/built-in.a;  printf "drivers/platform/wmi/%s " core.o | xargs ar cDPrST drivers/platform/wmi/built-in.a