[IA64] show "SN Devices" menu only if CONFIG_SGI_SN