savedcmd_sound/hda/codecs/built-in.a := rm -f sound/hda/codecs/built-in.a;  printf "sound/hda/codecs/%s " cirrus/built-in.a hdmi/built-in.a realtek/built-in.a side-codecs/built-in.a | xargs ar cDPrST sound/hda/codecs/built-in.a