bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is set