bpf: Verifier track null pointer branch_taken with JNE and JEQ