PLATFORMS.md: Add Itanium to Linux