kernel: use target strip command

Change the strip command used from the hardcoded arm
to the toolchain defined strip.

Change-Id: Id900765e8dc93af1345081f4fd0c52bebcd07fea