[IA64-SGI] Make number of TIO nodes configurable