[IA64] Rename platform_name to ia64_platform_name