[PATCH 6.3 341/694] bpf: take into account liveness when propagating precision