bpf: Improve verifier u32 scalar equality checking #20562

Job	Run time	Billable time
set-matrix	2s	0s
build for x86_64 with gcc	4m 54s	0s
build for x86_64 with llvm-16	4m 32s	0s
build for aarch64 with gcc	5m 17s	0s
build for aarch64 with llvm-16	5m 6s	0s
build for s390x with gcc	9m 43s	0s
test_progs on x86_64 with gcc	5m 5s	0s
test_progs_parallel on x86_64 with gcc	3m 38s	0s
test_progs_no_alu32 on x86_64 with gcc	4m 15s	0s
test_progs_no_alu32_parallel on x86_64 with gcc	3m 20s	0s
test_maps on x86_64 with gcc	3m 36s	0s
test_verifier on x86_64 with gcc	2m 32s	0s
test_progs on x86_64 with llvm-16	4m 56s	0s
test_progs_parallel on x86_64 with llvm-16	3m 36s	0s
test_progs_no_alu32 on x86_64 with llvm-16	4m 18s	0s
test_progs_no_alu32_parallel on x86_64 with llvm-16	3m 16s	0s
test_maps on x86_64 with llvm-16	3m 27s	0s
test_verifier on x86_64 with llvm-16	2m 33s	0s
test_progs on aarch64 with gcc	5m 29s	0s
test_progs_parallel on aarch64 with gcc	3m 50s	0s
test_progs_no_alu32 on aarch64 with gcc	4m 50s	0s
test_progs_no_alu32_parallel on aarch64 with gcc	3m 34s	0s
test_maps on aarch64 with gcc	4m 15s	0s
test_verifier on aarch64 with gcc	2m 52s	0s
test_progs on aarch64 with llvm-16	5m 16s	0s
test_progs_parallel on aarch64 with llvm-16	3m 57s	0s
test_progs_no_alu32 on aarch64 with llvm-16	4m 39s	0s
test_progs_no_alu32_parallel on aarch64 with llvm-16	3m 57s	0s
test_maps on aarch64 with llvm-16	4m 12s	0s
test_verifier on aarch64 with llvm-16	2m 40s	0s
test_progs on s390x with gcc	17m 25s	0s
test_progs_no_alu32 on s390x with gcc	11m 28s	0s
test_maps on s390x with gcc	1h 9m 41s	0s
test_verifier on s390x with gcc	3m 29s	0s
	3h 45m 40s	0s

Provide feedback