[IA64] Fix build for CONFIG_SMP=n