[Various] Reduce filesize of kernel-image ipk

Reduce filesize of kernel-image...ipk .
Only ship needed vmlinux.gz