bpf, verifier: enforce larger zero range for pkt on overloading stack buffs