x86: correct instructions related to REP prefix