Linux-infiniband: update for 3.12.5
linux-infiniband: small fix to the setup.sh script