bpf: verifier: Improve function state reallocation