[linux-morello] Re: [RFC PATCH 3/9] bpf: extend bpfptr_t to use pointers