ebpf: verifier: check that call reg with ARG_ANYTHING is initialized