bpf: Fix incorrect verifier simulation around jmp32's jeq/jne