Hi,
I'll see if I can get the ESXI version of 4.2 to work using a post made by Tuatara. If I can get the 200mb vmdk to make the machine boot that's a good start.
I will post back here if I have any luck.
In the mean time if anyone else has a OVF running 4.2 on vmware workstation 9 - post away pls