BUG: KCSAN: data-race in _prb_read_valid / prb_reserve