Merge branch 'x86-rep-insns': x86 user copy clarifications