x86: minor fixes for comments on MOV32cr etc: this is related to 64bit code as well