[PATCH 5.10 007/139] powerpc/bpf: Change register numbering for bpf_set/is_seen_register()