[RS6000] rs6000_output_mi_thunk tidy