cmd_kernel/livepatch/built-in.o := rm -f kernel/livepatch/built-in.o; arm-linux-gnueabi-ar rcSTPD kernel/livepatch/built-in.o