Re: [PATCH stable 4.18] bpf/verifier: disallow pointer subtraction