cmssw-patch: updated fro 5.3.12.patch3