[S390] add support for compressed kernels