The problem with this image would be the voltage and frequency values since the 1.5 T architecture is quite different - 6 blades / 10 chips per blade.
But nevertheless it worth trying to see if the RPi boots up. Actually he can use the standard 1T image (4 blades / 8 chips per blade) to check if it works - it may not recognize the extra hardware that the rig has but still may work @1TH or maybe even @2TH - will have to try that as well.