[PATCH 052/415] bpf_verifier: Fix kabi for bpf_verifier_env