[IA64] fix nohalt boot option