s390/bpf: Perform r1 range checking before accessing jit->seen_reg[r1]