kernel: android: use minigzip instead of gzip

Allow imgdiff to efficiently process the kernel image, resulting
in smaller delta updates

Change-Id: I92091b1e16cb22eb4d4473f6f17f228e8febb13e