[IA64] Avoid kernel hang during CMC interrupt storm