Re: new options to enable in s390x kernels