bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmetic

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "unaffected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "kernel/bpf/verifier.c"
                    ],
                    "versions": [
                        {
                            "version": "5f99f312bd3bedb3b266b0d26376a8c500cdc97f",
                            "lessThan": "21a681526c715aebb4f918b8c131583442d1b3d8",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "5f99f312bd3bedb3b266b0d26376a8c500cdc97f",
                            "lessThan": "d623a4a58bb238443505d5c2949d1182dcfc26b6",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "5f99f312bd3bedb3b266b0d26376a8c500cdc97f",
                            "lessThan": "9f9477ae73de9c5a28e8ab7000d8097b078faee4",
                            "status": "affected",
                            "versionType": "git"
                        },
                        {
                            "version": "5f99f312bd3bedb3b266b0d26376a8c500cdc97f",
                            "lessThan": "150aeba624e8b7cac51c39440d7e8e1fd11de9a0",
                            "status": "affected",
                            "versionType": "git"
                        }
                    ]
                }

{
                    "product": "Linux",
                    "vendor": "Linux",
                    "defaultStatus": "affected",
                    "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
                    "programFiles": [
                        "kernel/bpf/verifier.c"
                    ],
                    "versions": [
                        {
                            "version": "6.8",
                            "status": "affected"
                        },
                        {
                            "version": "0",
                            "lessThan": "6.8",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.12.111",
                            "lessThanOrEqual": "6.12.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "6.18.53",
                            "lessThanOrEqual": "6.18.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "7.2.7",
                            "lessThanOrEqual": "7.2.*",
                            "status": "unaffected",
                            "versionType": "semver"
                        },
                        {
                            "version": "7.3",
                            "lessThanOrEqual": "*",
                            "status": "unaffected",
                            "versionType": "original_commit_for_fix"
                        }
                    ]
                }