Re: re-enable CONFIG_JUMP_LABEL on s390x