savedcmd_kernel/irq/built-in.a := rm -f kernel/irq/built-in.a;  printf "kernel/irq/%s " irqdesc.o handle.o manage.o spurious.o resend.o chip.o dummychip.o devres.o generic-chip.o autoprobe.o irqdomain.o proc.o cpuhotplug.o pm.o msi.o ipi.o affinity.o | xargs ar cDPrST kernel/irq/built-in.a
