[PATCH 5.15 013/131] bpf, verifier: Fix memory leak in array reallocation for stack state