bpf: support non-r10 register spill/fill to/from stack in precision tracking

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "unaffected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "include/linux/bpf_verifier.h",
                        "kernel/bpf/verifier.c",
                        "tools/testing/selftests/bpf/progs/verifier_subprog_precision.c",
                        "tools/testing/selftests/bpf/verifier/precise.c"
                    ],
                    "versions": [
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "ecc2aeeaa08a355d84d3ca9c3d2512399a194f29",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "199f0452873741fa4b8d4d88958e929030b2f92b",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "e4da60feca4d35e1a9b03dc0affa3354f9ff45e4",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "b5dc0163d8fd78e64a7e21f309cf932fda34353e",
                            "lessThan": "41f6f64e6999a837048b1bd13a2f8742964eca6b",
                            "status": "affected",
                            "versionType": "git"
                        }
                    ]
                }

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "affected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "include/linux/bpf_verifier.h",
                        "kernel/bpf/verifier.c",
                        "tools/testing/selftests/bpf/progs/verifier_subprog_precision.c",
                        "tools/testing/selftests/bpf/verifier/precise.c"
                    ],
                    "versions": [
                        {
                            "version": "5.3",
                            "status": "affected"
                        },
                        {
                            "version": "0",
                            "lessThan": "5.3",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.6.64",
                            "lessThanOrEqual": "6.6.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.6.70",
                            "lessThanOrEqual": "6.6.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.6.140",
                            "lessThanOrEqual": "6.6.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.8",
                            "lessThanOrEqual": "*",
                            "status": "unaffected",
                            "versionType": "original_commit_for_fix"
                        }
                    ]
                }