Use compressed/stripped binary to boot from

Create the binary if it's not created by targz-pkg and move the original one to /lib/modules/kver/ so crash/kexec can still use the symbols from there.

This is needed because the compressed and stripped binaries have about 20MB while the uncompressed/unstripped one has more than 800MB. This leads to boot partition running out of spacce often, as the default is 1GB. Not cool.

Signed-off-by: Veronika Kabatova vkabatov@redhat.com