fixed get_ia32_reg_name() and ia32_get_ia32_reg_name() to handle x87 register names
drwxr-xr-x - ir