kcsan: Support distinguishing volatile accesses