[IA64] Fix get_model_name() for mixed cpu type systems