Re: [PATCH for-next 00/13] IB/hfi1,core: Driver updates for 4.17