[PATCH] missing includes from infiniband merge