Searching the Check Point Support Center on “Virtual Systems” turns up older documents and downloads. However searching on “R75.40VS” will will bring up the results for R75 Virtual Systems. Looks like sk76540 is the solution ID for the new portal where all the documentation and downloads have been posted (as of July 17th):
There is a lot of information here.
R75.40 Virtual Systems Download and Documents Available