[merged] drivers-infiniband-core-verbsc-fix-build-with-gcc-444.patch removed from -mm tree