bpf: fix two bugs in verification logic when accessing 'ctx' pointer