kernel: use target strip command

Change the strip command used from the hardcoded arm
to the toolchain defined strip.

Change-Id: Id900765e8dc93af1345081f4fd0c52bebcd07fea
Merge pull request #5 from CyanogenMod/cm-10.2

kernel: use target strip command