[IA64] Support multiple CPUs going through OS_MCA