Add missing TOC link for infiniband