Re: + drivers-infiniband-core-verbsc-fix-build-with-gcc-444.patch added to -mm tree