Just downloaded the absolute latest HotPatch:

ZDM7SP1IR3a_HP1.zip

It seem to lack a boot.iso or any other named .iso file to produce a boot cd with? Is this correct?