Removes several cases where the documentation about the IR says "IA-32" when it means all the ISA'ss we support.