[S390] fix boot failures with compressed kernels