[IA64] bugfix: nptcg breaks cpu-hotadd