ISO image creation currently assumes uncompressed kernels